GitHub - mniip/ZF: Experimenting with classical FOL+ZF in Coq.

mniip / ZF Public

Experimenting with classical FOL+ZF in Coq.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
Axioms.v		Axioms.v
Choice.v		Choice.v
Constructions.v		Constructions.v
Logic.v		Logic.v
Makefile		Makefile
Omega.v		Omega.v
OrdLinear.v		OrdLinear.v
Orders.v		Orders.v
Regularity.v		Regularity.v
Tactics.v		Tactics.v
_CoqProject		_CoqProject