Explore projects
-
-
-
Updated
-
Updated
-
Updated
-
-
An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)
Updated -
-
-
Premier devoir maison du cours de Calcul Formel (Computer Algebra) donnée par Guillaume Hanrot et Stéphan Thomassé au M1IF.
Updated -
Updated
-
-
Updated
-
Updated
-
aleber02 / CAP
GNU General Public License v3.0 or laterUpdated -
Updated
-
ulysse durand / caplab
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-