SpiceQA
Questions
Tags
Users
Badges
proof
proof
3 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Do I have a misunderstanding of loop invarients?
Harper Rhett
0
•
asked Sep 21, 2022
0
0
24
loop-invariant
proof
pseudocode
loops
Can someone help me with this proof about the pumping lemma using coq?
silver-ymz
0
•
asked Sep 19, 2022
0
0
37
pumping-lemma
regular-language
proof
coq
How do I know which proof method is the best approach for questions?
Jacob Lee
0
•
asked Sep 14, 2022
0
0
31
proof
algorithm
1
(current)
Hot Questions