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

Job ID: 36854798

Budget: $30 – $250 USD

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

Related categories: Mathematics Programming