Sign In
Login
Get Password
Create account
Join Now

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

  • Job DurationLess than a week
  • Project LevelBasic Level
  • Project deadlineExpired
Send Proposal

Project detail

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

Skills Required

Mathematics

Industry Categories

Websites, IT & Software

Freelancer type required for this project

Independent Freelancers