Explore projects

Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.

My faust minimoog from ATIAM

Algorithme de Recherche de Points d'arrêt. Réalisé dans le cadre d'un stage de L3 pour la recherche de duplication en tandem dans le cas de leucémie.

Physique et Informatique Fondamentale, année 2020-2021

This is the homework and presentation for the M2IF course CR02 "Selected Topics in Information Theory" given by Samir Perlaza, Jean-Marie Gorce and Malcolm Egan at ENS Lyon. This work was done jointly with Ambroise Baril.

Fichiers source de mon manuscrit de thèse

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

Tout le code pour ma thèse :)

Repository of my M2 internship.

Implementation of the SMTApproxMC counting algorithm in C++ using Z3, with some optimizations for Chalice-generated files.

Appendix of the report "Levenberg-Marquardt on Manifolds"