Avigad J., Massot P. Mathematics in Lean 2025
大小
1.83 MB
文件数
3
Info Hash:
CF90A56CBE39E80A950519C7149F472217081AAA
收录时间
2025-12-19 03:07:10
更新时间
2025-12-22 01:08:50
文件列表 (3)
Loh C. ProofLab. A Short Introduction to Formalising Mathematics in Lean 2022.pdf
316.49 KB
Avigad J. Mathematics in Lean 2021.pdf
341.1 KB
Avigad J., Massot P. Mathematics in Lean 2025.pdf
1.18 MB