Advertisement
Pythagoras Theorem for Firefox
Easily calculate the sides of right angled triangles with this restartless add-on for Firefox...
Logic Reasoner
Logic Reasoner is a theorem prover for first-order logic with equality....
calculus theorem prover formula representation subsumption resolution theorem
Isabelle
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich....
assistant proof theorem prover mathematical formulas proof assistant