I am looking for a freelancer who can help me proof the lemmas "weak_pumping" and "pumping" in COQ. — 2
Less than a week- Basic Level
- Expired
Less than a week
Basic Level
ExpiredProject detail
I am looking for a freelancer who can help me proof the lemmas “weak_pumping” and “pumping” in COQ.