Skip to content

GitLab

Explore

Sign in

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

Loading