Explore projects

Formalization of https://hal-ens-lyon.archives-ouvertes.fr/ensl-00737881

Course notes of Colin Riba's and Pierre Clairambault's Advanced Semantics course.

Quelques informations utiles à afficher sur les écrans des couloirs de l'ENS.

An attempt to rewrite permit

On scan nos prises de notes

Les notes faîtes pendant mon stage en 2022, au LACL à Créteil

An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)

My faust minimoog from ATIAM

Physique et Informatique Fondamentale, année 2020-2021