Paradox theorem prover
From Free net encyclopedia
(Difference between revisions)
| Revision as of 01:19, 15 April 2006 Pearle (Talk | contribs) Changing {{attention}} to {{cleanup-date|May 2005}} ← Previous diff |
Current revision Pearle (Talk | contribs) Changing {{attention}} to {{cleanup-date|May 2005}} |
Current revision
Paradox is an automated theorem proving system.
[edit]