La communauté Halmos
Des preuves que vous pouvez construire.
Explorez les messages avec des preuves acceptées par le noyau Lean.
Preuves vérifiées
0 Postes-
Pas encore de postes dans cette fourchette de temps.
Il peut y avoir plus à découvrir dans l'archive.
Explorer tout le temps