/coq

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

Issues