Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
AlphaAlt.v
Find file
Blame
History
Permalink
nettoyage de la preuve substs/subst
· 4f5c1ea7
Pierre Letouzey
authored
Mar 21, 2019
4f5c1ea7