proof

55 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Coq - Rewriting a FMap Within a Relation
user_68244300
•
1
2
55
coq proof programming-languages
How do I prove designed Min Interval Algorithm?
user_124980300
•
1
0
36
proof-of-correctness proof intervals algorithm
Proof with multiple cases theorem
user_171361240
•
1
2
76
coq proof
Missing Order.Lattice function from Arend standard library added by Intellij IDEA plugin
user_175074760
•
2
0
25
proof intellij-idea
Coinductive principle for streams
user_75084020
•
2
0
87
coinduction coq proof
Equivalence of Edit Distance and Alignment Distance
user_163765090
•
2
0
69
string-algorithm proof edit-distance distance algorithm
Cases tactic in Lean does not create hypothesis
user_165632510
•
5
1
108
lean proof
Proving A → ¬ (¬ A ∧ B) in Lean
user_169526160
•
2
2
326
negation theorem-proving lean proof
Lean 4 'unknown identifier Proof'
user_109289100
•
1
2
483
theorem-proving lean proof
Convert a Bits8 to a `Subset Nat (`LT` 256)`
user_3094830
•
2
2
60
dependent-type idris proof
Hot Questions