theorem-prover
theorem-prover copied to clipboard
stepchowfun
An automated theorem prover for first-order logic.
Results
1
theorem-prover issues
Sort by
recently updated
recently updated
newest added
When i try to run the "forall x. P(x) implies (Q(x) implies P(x))" example i get multiple errors , do you know why that could be ?
Metadata
231
Stars
32
Forks
Watchers
Owner
Metadata
An automated theorem prover for first-order logic.