I am looking for a freelancer who can help me proof the lemmas "weak_pumping" and "pumping" in COQ.

Job ID: 36854789

Budget: $30 – $250 USD

I am looking for a freelancer who can help me proof the lemmas "weak_pumping" and "pumping" in COQ.
more details privately

Related categories: Mathematics Programming