/Fotableau

Tableau-based Automated Theorem Prover for First Order Logic

Primary LanguageC++

Stargazers