All Questions
1
question
1
vote
1
answer
648
views
Strong induction for nat in Coq
I'm doing some exercises on Coq and trying to prove the strong induction principle for nat:
...