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 | |||
| plugins | 2014-08-20 | ||
| features | 2014-08-20 | ||
| artifacts.jar | 2014-08-20 | 1.7 kB | |
| content.jar | 2014-08-20 | 20.6 kB | |
| Totals: 4 Items | 22.2 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.