/Logic-Proof-Generator

Automatically generate the logic proof for an argument.

Primary LanguageC++MIT LicenseMIT

Stargazers