Coq /DEVs

The reverse job board
Find and hire software developers and professionals with Coq experience.
List your profile to receive offers and be recognized amongst our Coq community.
Add my profile
Our /DEVs section is new and there are no registered Coq professionals yet.
Add my profile Browse all devs

Did you know that Coq is
the 73rd most popular programming language
based on number of references?

Loading...