Code Lean contenant les preuves d'un cours standard sur les espaces métriques
FredericLeRoux/LEAN_ESPACES_METRIQUES
Code Lean contenant les preuves d'un cours standard sur les espaces métriques
Lean
Code Lean contenant les preuves d'un cours standard sur les espaces métriques
Lean