Explore projects

Integration of the Nunchaku model finder in the Lean theorem prover.

Internship project at the VU Amsterdam. With the help and precious guidance of Jasmin Blanchette and Johannes Hölzl.

Projet de réalité augmentée d'un échiquier

Oui

Utility script aimed at easing translators' work

A repository for my cvs.

Site de Typographix. À disposition pour tout besoin de modification.

Site de Typographix. À disposition pour tout besoin de modification.