Main public logs
From MaRDI portal
Combined display of all available logs of MaRDI portal. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 15:43, 1 August 2024 Schubotz talk contribs created page 1000+ Theorems project (Created page with " === About === The spiritual successor of Freek’s [https://www.cs.ru.nl/~freek/100/ list of 100 theorems]. Now with more than 1000 theorems! The entries of this list are extracted from Wikipedia’s List of Theorems. We do not accept entries that are not part of that list. This project was initiated at the Special Trimester on “Prospects of Formalized Mathematics” at the Hausdorff Institute of Mathematics in Bonn, funded by the Deutsche Forschungsgemeinscha...")
