B

BiInt Prover

Project information

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

5 Commits
1 Branch
0 Tags

README

Created on

August 10, 2021

Loading