Pinned Repositories
abella-pure-type-systems
code
zfc
An encoding of Zermelo-Fraenkel Set Theory in Coq
Beluga
Contextual types meet mechanized metatheory!
popl2014-papers
core
ajcave's Repositories
ajcave/abella-pure-type-systems
ajcave/code
ajcave/zfc
An encoding of Zermelo-Fraenkel Set Theory in Coq