consequentia

Project information

An automated system for Tableaux methods.

logic tableau automated reasoning

29 Commits
2 Branches
0 Tags

README
LICENSE

Created on

March 29, 2020

Loading