-
Pierre Letouzey authored
(and remove "auto with v62" in this file) This will be used to provide a "model" of our ZF theory See article : http://www.lix.polytechnique.fr/Labo/Benjamin.Werner/publis/tacs97.pdf
4cff5b16
This project is licensed under the Creative Commons Zero v1.0 Universal.
Learn more