gitlab.com / wjd
wjd/utils
miscellaneous utility scripts and files
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
wjd/latex_wjd
miscellaneous latex stuff, like tikz examples, bibtex entries, templates, etc.
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
wjd/uf-agda_wjd
Notes based on Martin Escardo's 2019 MGS course on HoTT/UF in Agda
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0