package coq-zf
An axiomatisation of intuitionistic Zermelo-Fraenkel set theory
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=0125ea3520667c25a41a59e79a6dae88
Description
Tags
keyword: set theory keyword: Zermelo-Fraenkel category: Mathematics/Logic/Set theoryPublished: 07 Dec 2019
On This Page