Fermat in Lean: geprüft, nicht gelesen

https://kiberblick.de/aktuell/2026/2026-09-07-fermat-lean-geprueft-nicht-gelesen/