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