induction

27 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Proof of Induction when initial condition is 0
user_141098860
•
2
1
56
induction discrete-mathematics math
How do I prove this algorithm's correctness?
user_144839250
•
2
2
350
proof-of-correctness induction loop-invariant dijkstra algorithm
Can Dafny verify summing elements from the right?
user_25072570
•
2
1
238
induction dafny loops
Generating finite lists of primes in Haskell
user_141668130
•
5
3
1182
induction primes idioms sequence haskell
How to encode via W-types in agda?
Admin1
•
2
1
161
induction agda functional-programming types
How does one prove weakening for a simple language in agda?
Admin1
•
2
1
71
theorem-proving induction agda language-design
How does one use identity elimination (in agda) to prove Eckmann Hilton for higher dimensional paths in HoTT?
Admin1
•
4
1
84
homotopy-type-theory induction agda
Generalize a claim in a structural induction proof to be able to use the induction hypothesis
user_99954390
•
2
1
91
isabelle induction
Proof exponential runtime by induction
user_74147540
•
3
2
200
induction runtime math big-o haskell
Can I tell Coq to do induction from n to n+2?
user_50257280
•
12
2
756
induction coq
Hot Questions