Bootstrap yourself to write an OS from scratch. A book for self-learner.

A modern LaTeX Beamer theme

Examples of how to create colorful, annotated equations in Latex using Tikz.

A fresh implementation of Common Lisp

papers of Per Martin Löf

The Principia Rewrite

Mathematical Components (the Book)

⌥ Simple Backus–Naur form (BNF) LaTeX package

Specification of the Cedille Core language

A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.

Some MP2I and MPI courses

haha I'm graduating

Page du cours preuves assistées par ordinateur 2021

A LaTeX template for Bachelor or Master theses

Balancing lists: a proof pearl

A bytecode virtual machine designed by students for students

A mechanized proof of soundness of calculus defined in A Theory of Quoted Code Patterns which is a formalization of pattern matching on code available in Scala 3 as part of its new macro system.