Rule-based Prover Plug-in

From Event-B
Revision as of 11:50, 1 December 2009 by imported>Im06r (→‎News)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

This page provides extensive documentation for the rule-based prover plug-in.

News

  • 1st December 2009: Version 0.0.1 released. It is based on Rodin 1.1.0.

Releases

Version 0.0.1

1st December 2009

Retrieved from ‘https://wiki.event-b.org/index.php?title=Rule-based_Prover_Plug-in&oldid=9095’