Contribution: ZF

An axiomatisation of intuitionistic Zermelo-Fraenkel set theory

Authors

• Guillaume Alexandre

Description

Keywords

set theory, zermelo fraenkel

README

La contribution ZF fournit une implantation des axiomes de
Zermelo-Fraenkel intuitioniste.  Elle contient :

- un repertoire src avec les sources (fich .v)
- un makefile pour la compilation et l'installation de la librairie.

Se reporter a INSTALL pour faire l'installation (il faut
essentiellement modifier deux variables dans makefile et src/makefile
pour indiquer le chemin de coqc). 

Available files

• ZF.src.axs_reunion.html
• ZF.src.axs_extensionnalite.html
• ZF.src.MSetBasis.html
• ZF.src.axs_fundation.html
• ZF.src.couples.html
• ZF.src.applications.html
• ZF.src.useful.html
• ZF.src.axs_choice.html
• ZF.src.axs_parties.html
• ZF.src.axs_remplacement.html
• ZF.src.ZFbasis.html
• ZF.src.axs_paire.html
• ZF.src.axs_comprehension.html
• ZF.src.nothing.html
• ZF.src.ZFrelations.html