Hysen Labsteorth
★ 1 838analysis
Un compagnon Lean de l'Analyse I. Par exemple, le chapitre 2 développe une théorie des nombres naturels indépendante de Mathlib, mais tous les chapitres suivants utiliseront à la place les nombres naturels Mathlib.
RÉPERTOIRE HYSEN LABS
teorth
Dépôts vérifiés, classifications et analyses de l’organisation teorth.
1 projet open source sélectionné