3
$\begingroup$

Is there a simple software that I could use to practice proving theorems in my course of mathematical logic? Basically what I need is ability to 1) define what axioms and laws I am allowed to use in proving theorem and 2) the theorem itself. What I want to see is steps how this theorem is proved. I looked at Jape. However presentation of proving steps seem to me unclear. And there is almost no documentation for that software. Any suggestions?

$\endgroup$
1
$\begingroup$

In my course of mathematical logic we use this: http://www.spass-prover.org/

$\endgroup$
1
$\begingroup$

I like Prover9 for theorem proving. I think OTTER is better for some purposes.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.