B

BiInt Prover

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