Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Tag: Lean
1 item with this tag.
May 20, 2026
蚂蚁星助理研究员-AI+Math-Lean语言形式化验证（实习）
clipping
read-later
formal-verification
Lean
Rust
internship