Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
AlphaAlt.v
Find file
Blame
History
Permalink
AlphaAlt : premiere preuve complete pour substs_subst
· 0ce7a87c
Pierre Letouzey
authored
Mar 21, 2019
0ce7a87c