AI4FM

Using AI to aid automation of proof search in Formal Methods

ProofProcess framework nightly updates

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.