zfc

An encoding of Zermelo-Fraenkel Set Theory in Coq

GitHub

20 stars
5 watching
3 forks
Language: Coq
last commit: almost 2 years ago