Skip to content

Avigad J , Massot P Mathematics in Lean 2025

Sign up to create lists
Report Avigad J , Massot P Mathematics in Lean 2025
Unverified source. This magnet is from an unverified source. The content may be unsafe or mislabeled. Proceed with caution.
Title: Avigad J Massot P Mathematics in Lean 2025Group: NOGRP
Info Hash
CF90A56CBE39E80A950519C7149F472217081AAA
Source
Unverified
Total Size
1.83 MB
Total Files
3
Seeders
2
Leechers
0
Health
2.00
Score
4
Type
eBook

File List

FileSize
Avigad J., Massot P. Mathematics in Lean 2025/Loh C. ProofLab. A Short Introduction to Formalising Mathematics in Lean 2022.pdf316.49 KB
Avigad J., Massot P. Mathematics in Lean 2025/Avigad J. Mathematics in Lean 2021.pdf341.1 KB
Avigad J., Massot P. Mathematics in Lean 2025/Avigad J., Massot P. Mathematics in Lean 2025.pdf1.18 MB

Trackers

No trackers found.