/Tableau

Reasoning by Tableau Algorithm

No issues in this repository yet.