school/type-theory
2
0
Fork 0
Code Issues 11 Pull requests Actions Packages Projects 1 Releases Wiki Activity

readme

Browse source
This commit is contained in:
Michael Zhang 2023-05-16 09:38:46 -05:00
parent f34cb844a4
commit a8a53ddc21
Signed by: michael
GPG key ID: BDA47A31A3C8EE6B
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
README.md Normal file
View file

@ -0,0 +1,9 @@
cubical
===
This repository tracks my exploration into cubical type theory, including my
progress into research for my master's degree.
Links:
- [my current focus](https://git.mzhang.io/school/cubical/projects/2)