Download Latest Version
org.ai4fm.graph.isomorphism_1.1.0.201408201147.jar (54.3 kB)
Get an email when there's a new version of ProofProcess
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| org.ai4fm.proofprocess.isabelle.feature_1.1.0.201311120231.jar | 2013-11-14 | 7.3 kB | |
| org.ai4fm.proofprocess.feature_1.1.0.201311140606.jar | 2013-11-14 | 7.6 kB | |
| org.ai4fm.proofprocess.zeves.feature_1.1.0.201306132202.jar | 2013-11-14 | 7.3 kB | |
| Totals: 3 Items | 22.1 kB | 0 | |
ProofProcess plug-in updates
Update site for ProofProcess framework Eclipse plug-ins.
The current version has not been officially released yet, therefore only nightly builds are available at the moment. Use the following canonical URL for nightly builds as the update site:
http://www.ai4fm.org/proofprocess/updates/nightly/
This URL is updated whenever a new nightly build is published and will always point to the last nightly build of ProofProcess framework update site.