proof-of-correctness

15 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
What is the proper solution when using find with a guaranteed value?
user_58224500
•
3
2
126
proof-of-correctness functional-programming haskell
The difference between dependent type signatures and proofs
user_59869070
•
4
1
92
proof-of-correctness dependent-type idris language-agnostic
How to prove insert_BST in Coq
user_170753540
•
1
2
138
proof-of-correctness coq-tactic coq proof logic
How do I prove designed Min Interval Algorithm?
user_124980300
•
1
0
36
proof-of-correctness proof intervals algorithm
Certified calculations in a proof assistant
user_174199090
•
2
3
190
theorem-proving hol isabelle proof-of-correctness coq
Ada GNATprove insints that 1 is not >= 0
user_155132110
•
3
2
166
spark-ada proof-of-correctness ada invariants proof
Proving Select Sort algorithm using SPARK
user_155132110
•
3
1
200
spark-ada proof-of-correctness ada invariants proof
How to prove this invariant?
user_154719590
•
8
1
369
spark-ada proof-of-correctness ada invariants proof
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
How do I prove this algorithm's correctness?
user_144839250
•
2
2
350
proof-of-correctness induction loop-invariant dijkstra algorithm
Hot Questions