Extending the Proof Manager
From Event-B
Revision as of 13:06, 11 September 2008 by imported>Son
The Proof Manager is responsible for constructing proofs and maintaining existing proofs associated with proof obligations.
There are two ways for extending the Proof Manager:
- adding a new reasoner.
- adding a new tactic.