SpiceQA
Questions
Tags
Users
Badges
coq
coq
3 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
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 exit coqtop REPL?
Taimoor Zaeem
0
•
asked Sep 18, 2022
1
2
42
coq
Overloading operators in Coq via typeclasses and notation scopes: Is there anything special about the '+' and '*' symbols?
Bodo
0
•
asked Sep 8, 2022
0
1
33
coq
1
(current)
Hot Questions