De Halmos-gemeenschap
Bewijs dat je kunt bouwen.
Verken berichten met bewijzen die door de Lean kernel zijn geaccepteerd.
Gecontroleerde bewijzen
0 posten-
Nog geen berichten in deze tijdsperiode.
Er kan meer te ontdekken zijn in het archief.
Alle tijden verkennen