Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
courses
L3 Courses
This page lists the courses I followed in L3 (third year of my Bachelor’s degree) in the ENS.
M1 Courses
This page lists the courses I followed in M1 (first year of my Master’s degree) in the ENS.
coursesl3
coursesm1
projects
Fouine
A faithful interpreter for a substantial subset of OCaml, written in OCaml.
Pieuvre
A proof assistant based on the Calculus of Inductive Constructions, inspired by Rocq and written in OCaml.
VeriSLO
A tool for streamlining Iris proofs of OCaml programs.