Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
Makefile.conf
Find file
Blame
History
Permalink
Natded: une formalisation Coq d'un calcul des predicats (non fini)
· ae091cbc
Pierre Letouzey
authored
Jan 23, 2019
ae091cbc