Théo Zimmermann's Projects
Logiciels éducatifs pour s'entraîner aux tables de multiplication et aux conjugaisons françaises
Notebooks from my PhD thesis
Library for Classical Coq
General Topology
A modern and touch-friendly version of the classic game of snake
Automatic transfer of theorems along isomorphisms in Coq
Abstract and slides for talk at TTT2017
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
A Visual Studio Code extension for Coq [maintainer=@maximedenes]
Verified Software Toolchain
Sources files of the coq.inria.fr website (static part)
Personal web page and blog