SpiceQA
Questions
Tags
Users
Badges
pumping-lemma
pumping-lemma
1 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
1
(current)
Hot Questions