proof

55 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Minimize Sum of Absolute Difference of Two Arrays
user_72736700
•
4
3
1539
proof data-structures time-complexity sorting algorithm
how to do a proof for subset in Isabelle
user_36964900
•
3
1
140
isabelle proof set
Prove scheduling algorithm for one shared machine and one with infinite parallel capacity
user_147718560
•
2
2
76
proof-of-correctness greedy proof scheduling algorithm
Proof of consistent heuristic implies admissible condition
user_144156250
•
2
1
1472
proof search algorithm
How to give the right precondition to prove an assert statemnt in frama-c?
user_140525780
•
2
1
70
post-conditions preconditions frama-c proof
If two constructor expressions of an inductive type are equal in Coq, can I do rewriting based on their corresponding arguments?
user_143634230
•
2
1
214
coq-tactic coq formal-verification proof
How do you lookup the definition or implementation of Coq proof tactics?
user_1699920
•
2
2
181
coq proof math
How in coq to use lemma a=b backwards?
user_49298090
•
2
1
128
coq proof logic
Binary Tree with one key violation that doesn't impact the rest of the keys entered
user_122478440
•
2
1
41
binary-search-tree proof binary-tree algorithm
How to prove that 2 is Prime in Idris?
user_126907610
•
2
1
97
idris proof
Hot Questions