Geeks
coq-contribs
/
zf
An axiomatisation of intuitionistic Zermelo-Fraenkel set theory
Primary Language
Coq
zf GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
herbelin
jhcloos