Tag for questions about induction such as mathematical induction, structural induction or well-founded induction (Noetherian).
About
Stats
|
created |
2 years, 5 months ago |
|
viewed |
5 times |
|
active |
2 years, 5 months ago |
|
editors |
1 |
Top Answerers
more »
Recent Hot Answers
How can I prove this theorem with induction in Coq?Is induction over mutually inductive coinductive types possible?
Strictly-monotone "max" operation for constructive Brouwer-trees?
My Inductive function over a pair of lists gives "Cannot guess decreasing argument of fix."
How to provide proof for termination in Agda?
more »