/Generate-Proof-Tree

Given a list of premises output the proof Tableaux or tree

Primary LanguageJava

Stargazers

No one’s star this repository yet.