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

Found 2 items for Avigad in 0.000s.

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: 976 Last access time: 2 days, 3 hours
  • Avigad J. Mathematical Logic and Computation 2022.pdf 44.8 MB
  • ....
Files: 1 Total size: 44.8 MB Total requests: 100 Last access time: 1 week, 1 day