Rule-based Prover Plug-in

From Event-B

Revision as of 11:49, 1 December 2009 by imported>Im06r

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump 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.

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

Navigation menu