An Induction Prover and the Cascade
Inductive Definition of Addition
A Failing Proof
show
The Cascade
show
show
show
show
Converted by
Mathematica
June 17, 2002
![[Graphics:../Images/index_gr_30.gif]](../Images/index_gr_30.gif)
![[Graphics:../Images/index_gr_31.gif]](../Images/index_gr_31.gif){kind=small}
![[Graphics:../Images/index_gr_32.gif]](../Images/index_gr_32.gif)
![[Graphics:../Images/index_gr_33.gif]](../Images/index_gr_33.gif){kind=small}
![[Graphics:../Images/index_gr_34.gif]](../Images/index_gr_34.gif)
![[Graphics:../Images/index_gr_35.gif]](../Images/index_gr_35.gif){kind=small}
![[Graphics:../Images/index_gr_36.gif]](../Images/index_gr_36.gif){kind=small}
![[Graphics:../Images/index_gr_37.gif]](../Images/index_gr_37.gif){kind=small}
![[Graphics:../Images/index_gr_38.gif]](../Images/index_gr_38.gif){kind=small}