GitHub repository: FredericLeRoux/LEAN_ESPACES_METRIQUES
Created: 2019-12-07T13:25:19Z
Description: Code Lean contenant les preuves d'un cours standard sur les espaces métriques