Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
PreModels.v
Find file
Blame
History
Permalink
new file Nary.v, start cleaning the use of dependent types such as NaryFunctions.nfun
· 368c5443
Pierre Letouzey
authored
Jul 30, 2020
368c5443