Rodin Proof Tactics

From Event-B
Revision as of 21:31, 6 March 2010 by imported>Son
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 contains descriptions of the available proof tactics within the RODIN Platform.

For each tactic, the descriptions is as follows:

  • ID: The unique ID for each tactic.
  • Display: How an application of the tactic is displayed in the proof tree, the auto-tactic preference or the post-tactic preference.
  • Description: A high-level description of the tactic
  • Auto-tactic: No: the tactic cannot be added as auto-tactic. Yes: the tactic can be added as auto-tactic. Default: the tactic is a default auto-tactic.
Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Proof_Tactics&oldid=8420’