| Title | Avigad J., Massot P. Mathematics in Lean 2025 |
| Category | Books |
| Size | 1.83MB |
| Please note that this page does not hosts or makes available any of the listed filenames. You cannot download any of those files from here. | |
| Avigad J., Massot P. Mathematics in Lean 2025.pdf | 1.18MB |
| Avigad J. Mathematics in Lean 2021.pdf | 341.10KB |
| Loh C. ProofLab. A Short Introduction to Formalising Mathematics in Lean 2022.pdf | 316.49KB |
| Ethiopia (ET) | 2 |
| United States (US) | 2 |
| Spain (ES) | 1 |
| Hong Kong (HK) | 1 |
| Australia (AU) | 1 |
| India (IN) | 1 |
| Russia (RU) | 1 |
| Italy (IT) | 1 |
| Argentina (AR) | 1 |
| Singapore (SG) | 1 |
| Republic of Korea (KR) | 1 |
| South Africa (ZA) | 1 |
| Total | 14 |
| IP List | List of IP addresses which were distributed this torrent |