school
/
type-theory
2
0
Fork 0
Code Issues 8 Pull Requests Packages Projects 2 Releases Wiki Activity
type-theory/README.md

229 B
Raw Permalink Blame History

type-theory

This repository tracks my exploration into HoTT and cubical type theory, including my progress into research for my master's degree.

Links: