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.)
This page contains descriptions of the available proof tactics within the RODIN Platform.