GitPlanet
All Git Users → jaycech3n

1 open source projects by jaycech3n

[ Open user page on Github ]
1. Isabelle-HoTT
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
✭ 30
Standard MLIsabelletype-theoryinteractive-theorem-provinghomotopy-type-theory
1-1 of 1 user projects