Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Templates de TP et TD pour enseignement en CPGE MP2I. Antoine Domenech, 2022.
archived 0Updated -
An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)
Updated -
-
Updated
-
Updated
-
Updated
-
-
Ce dépot contient le programme codé en Ocaml du projet programmation de Jolyne Gatt et Arthur Vinciguerra
Updated -
Updated
-
Suite de projet2-rendu2, toujours sur le langage fouine avec l'objectif de parvenir à quelque chose de plus abouti.
Updated