Explore projects
-
Lucie / profon-pieuvre
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)
Updated -
Updated
-
Updated
-
Updated
-
-
-
Updated
-
Updated
-
Coda / Fouine
MIT LicenseUpdated -
Updated
-
Updated
-
Updated
-
Updated