GitPlanet
All Git Users → mortberg

2 open source projects by mortberg

[ Open user page on Github ]
1. Yacctt
yacctt: Yet Another Cartesian Cubical Type Theory
✭ 62
haskell
2. Cubicaltt
Experimental implementation of Cubical Type Theory
✭ 461
haskelltype-theory
1-2 of 2 user projects