Propriétaire · ImperialCollegeLondon

ImperialCollegeLondon

Dépôts open source suivis de ImperialCollegeLondon, triés par étoiles.

1 dépôt

#1
FLT ↗@ImperialCollegeLondonLean
Formalisation en cours du dernier théorème de Fermat avec Lean.
★ 1 023+38Évolution des étoiles sur les 7 derniers jours