DanGrayson/coq
This is my fork of the coq github source repository, for working on improvements for HoTT.
OCamlLGPL-2.1
Stargazers
No one’s star this repository yet.
This is my fork of the coq github source repository, for working on improvements for HoTT.
OCamlLGPL-2.1
No one’s star this repository yet.