Skip to content

GitLab

Explore

Sign in

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

Copy SSH clone URLgit@gitlab.aliens-lyon.fr:vdellach/biint-prover.git
Copy HTTPS clone URLhttps://gitlab.aliens-lyon.fr/vdellach/biint-prover.git