Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

consequentia

Project information

An automated system for Tableaux methods.

logic tableau automated

+ 1 more

29 Commits
2 Branches
0 Tags

README
LICENSE

Created on

March 29, 2020

Copy SSH clone URLgit@gitlab.com:rrleme/consequentia.git
Copy HTTPS clone URLhttps://gitlab.com/rrleme/consequentia.git

Loading