Explore projects
-
Updated
-
Updated
-
-
Updated
-
Updated
-
An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)
Updated -
Updated
-
-
Ce dépot contient le programme codé en Ocaml du projet programmation de Jolyne Gatt et Arthur Vinciguerra
Updated -
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated