/theorem-prover

Implementation of a theorem prover for first-order logic

Primary LanguageRustMIT LicenseMIT

Watchers