This is my fork of the coq github source repository, for working on improvements for HoTT.
Primary LanguageOCamlGNU Lesser General Public License v2.1LGPL-2.1