DanGrayson/UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
Developer Profile
DanGrayson
Discovered public repositories for DanGrayson in the GitHub catalog.
DanGrayson/book
A textbook on informal homotopy type theory
DanGrayson/coq-tex
Process coq code in a tex file, adding coq's output to the tex file so it appears in the final document.
DanGrayson/Ktheory
formalization of theorems of higher algebraic K-theory
DanGrayson/rezk_completion
Rezk completion
DanGrayson/M2
The primary source code repository for Macaulay2
DanGrayson/epkg
Here I present a simple bug fix to epkg, the encap-based generic package manager. The problem was that it was setting the umask before creating files and directories.
DanGrayson/HoTT
Homotopy type theory
DanGrayson/checker
an attempt at making a prototype proof checker for experimental purposes
DanGrayson/ProofGeneral
ProofGeneral, adapted for use with "checker", my prototype proof assistant
DanGrayson/coq-builder
A system of makefiles for building coq and the programs it requires.
DanGrayson/coq
This is my fork of the coq github source repository, for working on improvements for HoTT.
DanGrayson/Foundations2
Development of the univalent foundations of mathematics in Coq