Explore projects
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)
Updated -
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Lucie / profon-fouine
GNU General Public License v3.0 or laterUpdated -
Work for the M1 course of Data Bases and Data Mining at ENS de Lyon 2017-2018
Updated