RT @ElliotGlazer : Comme mentionné ici, Rocq et Lean sont basés sur CIC, qui est reconnu comme étant bien supérieur à la théorie des ensembles de Zermelo, mais on ignore si…
Chargement du thread
Récupération des tweets originaux depuis X pour offrir une lecture épurée.
Cela ne prend généralement que quelques secondes.