An Extensible Automated Theorem Prover Producing Checkable Proofs
released on 2 August 2007
|License||Verified by||Verified on||Notes|
|BSD 3Clause||Deborah Nicholson||24 June 2008|
Leaders and contributors
Resources and communication
This entry (in part or in whole) was last reviewed on 24 June 2008.