-
Notifications
You must be signed in to change notification settings - Fork 1
rocq-archive/zf
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
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).
About
An axiomatisation of intuitionistic Zermelo-Fraenkel set theory
Resources
Stars
Watchers
Forks
Packages 0
No packages published