Explore projects
-
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
-
Updated
-
Templates de TP et TD pour enseignement en CPGE MP2I. Antoine Domenech, 2022.
archived 0Updated -
vrebisco / necro
GNU General Public License v3.0 onlyUpdated