Difference between revisions of "Induction proof"
From Event-B
Jump to navigationJump to searchimported>Christophe (New page: This page explains how to proove with induction method on the natural number with Rodin tools. In other words, how to proove :<br/> <math> P(0) </math><br/> <math> \forall i.i \in \mathbb{...) |
(No difference)
|
Revision as of 20:58, 13 October 2008
This page explains how to proove with induction method on the natural number with Rodin tools.
In other words, how to proove :