Skip to content

GitLab

Explore

Sign in

Max Ole Elliger
ZFC

Z

ZFC

Project information

An attempt at a Coq formalization of Zermelo-Fränkel set theory.

24 Commits
2 Branches
5 Tags
1 Release

Creative Commons Attribution Non Commercial Share Alike 4.0 International

Created on

July 23, 2023

Copy SSH clone URLgit@gitlab.cs.fau.de:oc59yqul/zfc.git
Copy HTTPS clone URLhttps://gitlab.cs.fau.de/oc59yqul/zfc.git