Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
Peano.v
Find file
Blame
History
Permalink
Mise en commentaire des fichiers de parsing et débuts d'ajout de preuves dans Mix.v et Peano.v
· 54c1d687
Samuel Ben Hamou
authored
Jun 05, 2020
54c1d687