An Infinitely Large Napkin

A Course in Machine Learning

biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports UTF-8

LaTeX code for a paper on lean's type theory

high-performance cubical evaluation

Lecture notes from Cambridge maths

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos