Paradox theorem prover

From Wikipedia, the free encyclopedia

You have new messages (last change).

Paradox is an automated theorem proving system.

[edit] External links


 This mathematics-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../p/a/r/Paradox_theorem_prover.html"