Using AI to aid automation of proof search in Formal Methods
This is a ProofProcess framework update site/p2 repository. Use this URL to install ProofProcess plug-ins via Eclipse Update Manager.
This update site will always point to the latest nightly build of ProofProcess framework plug-ins.