zfc
Set theory implementation
An implementation of Zermelo-Fraenkel Set Theory in Coq using type theory
An encoding of Zermelo-Fraenkel Set Theory in Coq
22 stars
5 watching
3 forks
Language: Coq
last commit: almost 2 years ago zfc An implementation of Zermelo-Fraenkel Set Theory in Coq using type theory
An encoding of Zermelo-Fraenkel Set Theory in Coq