BTSearch.NET is a website for searching anything you want :D

Found 2 items for Avigad in 0.001s.

All Books (2)
By Time By Size By Relavance

  • Avigad J., Massot P. Mathematics in Lean 2025.pdf 1.2 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.5 KB
  • ....
Files: 3 Total size: 1.8 MB Total requests: 549 Last access time: 10 hours, 20 minutes
  • Avigad J. Mathematical Logic and Computation 2022.pdf 44.8 MB
  • ....
Files: 1 Total size: 44.8 MB Total requests: 75 Last access time: 3 weeks