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

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