Explore projects

My M2 internship report

Projet d'OA du M1IF 2018-2019 : implémentation de l'algorithme du simplexe

Fichiers source de mon manuscrit de thèse

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

Projet de programmation de Thomas Bobille et Louis Jalouzot

Ce dépot contient le programme codé en Ocaml du projet programmation de Jolyne Gatt et Arthur Vinciguerra

Workshop on Permanantal and Determinantal processes: from quantum physics to signal processing.