Rodin Proof Tactics

From Event-B
Revision as of 21:13, 6 March 2010 by imported>Son (New page: This page contains descriptions of the available proof tactics within the RODIN Platform.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

This page contains descriptions of the available proof tactics within the RODIN Platform.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Proof_Tactics&oldid=8417’