DanGrayson/coq
This is my fork of the coq github source repository, for working on improvements for HoTT.
OCamlLGPL-2.1
Issues
- 1
Prop problem
#2 opened - 0
--no-sharing option for coq 8.3
#1 opened
This is my fork of the coq github source repository, for working on improvements for HoTT.
OCamlLGPL-2.1