Explore projects

An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)

Suite de projet2-rendu2, toujours sur le langage fouine avec l'objectif de parvenir à quelque chose de plus abouti.

Code pour le cours Projet 2 de Daniel Hirschkoff (ENS Lyon, 2017).

NON

Yet Another Proof Asistant (for fun).