FUNCTIONAL PROGRAMMING IN COQ
Budget: $30 – $250 USD
small task in coq the Deadline is 1 week
Historical freelance listings.
Search