induction

27 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to prove the inductive step in coq?
user_4543220
•
2
2
158
induction coq
Solve Proof with Circular Symmetry in Coq
user_70825790
•
3
1
52
induction coq
Induction principle for nested inductive types
user_8239550
•
4
1
473
induction coq
coq induction with passing in equality
user_26289740
•
4
3
503
induction coq
Proving the fusion law for unfold
user_4743110
•
5
2
209
recursion-schemes induction proof recursion haskell
Coq - Induction over functions without losing information
user_29632380
•
4
1
483
induction coq
Understanding recursion in Python
user_7068080
•
8
4
7753
induction recurrence python-2.7 algorithm python
Hot Questions