Léo Colisson

A package to move proofs to appendix.

Cache anything (TikZ, python, ...) in a robust, efficient and pure way.

A library to typeset ZX Calculus diagrams.