|
Avigad J., Massot P. Mathematics in Lean 2025
1 year, 1 month
Files: 1 Total size: 1.8 MB Total requests: 1744 Last access time: 7 hours, 1 minute
|
|
Avigad J. Mathematical Logic and Computation 2022
2 years, 5 months
Files: 1 Total size: 44.8 MB Total requests: 261 Last access time: 5 hours, 22 minutes
|