zfc
by rocq-archive
Coqpushed almost 4 years ago
An encoding of Zermelo-Fraenkel Set Theory in Coq
AI summary
Set theory implementation
An implementation of Zermelo-Fraenkel Set Theory in Coq using type theory
- stars
- 22
- forks
- 3
- watching
- 5
by rocq-archive
An encoding of Zermelo-Fraenkel Set Theory in Coq
AI summary
Set theory implementation
An implementation of Zermelo-Fraenkel Set Theory in Coq using type theory