Stars
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
A simple solver for Futoshiki puzzles, written in Prolog
A (unofficial) LaTeX template for creating a PhD thesis at the Department of Mathematics, Stockholm University
Agda code for experimenting with internal models of cubical type theory