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