type-theory/thesis
2025-01-15 14:42:24 -06:00
..
.gitignore work a bit on thesis 2025-01-14 14:03:44 -06:00
main.bib stuff 2025-01-14 14:41:33 -06:00
main.typ stuff 2025-01-14 14:41:33 -06:00
style.typ delete the gerby stuff 2025-01-15 14:42:24 -06:00
upload.sh work a bit on thesis 2025-01-14 14:03:44 -06:00