induction

27 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Induction on recursive problems
user_168454650
•
1
1
26
induction recursion
I'm trying to build a proof in Coq that two different permutation definitions are equivalent, but the non-inductive side is not working
user_198878590
•
2
1
64
induction coq permutation proof logic
Dafny sequence filter function and lemmas
user_8219890
•
1
2
105
induction dafny multiset
Why do I get this exception on an induction rule for a lemma?
user_54950500
•
1
1
69
isabelle induction
Coq: Implementation of splitstring and proof that nothing gets deleted
user_195740160
•
1
2
55
induction coq proof
structural induction of haskell
user_173858110
•
2
1
104
induction syntactic-sugar currying haskell
Deleting element at specific index failing in Dafny
user_106865710
•
1
1
175
induction dafny formal-verification
How to express that one element of an inductive relation can't be derived from another in Coq?
user_19955870
•
3
1
75
induction coq
Complexity of the recurrence T(n)=T(n/2)+T(n/2)+n^2?
Admin1
•
2
1
934
induction recurrence runtime algorithm
How to prove an element does not belong to an inductive_set
user_36964900
•
2
1
165
isabelle induction
Hot Questions