Theory Plug-in
From Event-B
Revision as of 16:19, 1 October 2010 by imported>Im06r
Return to Rodin Plug-ins
See also the late Rule-based Prover Plug-in. The last release of the Rule-based Prover was v0.3. The Theory plug-in starts at version v0.5.
Return to Rodin Plug-ins
See also the late Rule-based Prover Plug-in. The last release of the Rule-based Prover was v0.3. The Theory plug-in starts at version v0.5.
