Avigad J., Massot P. Mathematics in Lean 2025

open url
copy url
play online

If you find any content such as violations and infringements (DMCA), please report it immediately according to the contact information at the bottom.
File size：1.83 MB
Time：2025-09-15
Hit count ：1
Related ：Avigad Massot Mathematics Lean 2025

File list

Avigad J., Massot P. Mathematics in Lean 2025.pdf-1.18 MB
Avigad J. Mathematics in Lean 2021.pdf-341.1 KB
Loh C. ProofLab. A Short Introduction to Formalising Mathematics in Lean 2022.pdf-316.49 KB