quasijem

Pinned Repositories

cubical-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:Agda00
Light-Collab
00
sgtpuzzles
Android port of Simon Tatham's Puzzles
Language:C611168
Light-Collab
01

quasijem's Repositories

quasijem/cubical-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:Agda
quasijem/Light-Collab