Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
README.md
Find file
Blame
History
Permalink
No more Alpha.v, indirect proofs (via nam2mix) instead
· c94ad7e0
Pierre Letouzey
authored
Jun 04, 2019
c94ad7e0