Need help with awesome-coq?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

uhub
221 Stars 15 Forks 102 Commits 2 Opened issues

Description

A curated list of awesome Coq frameworks, libraries and software.

Services available

!
?

Need anything else?

Contributors list

awesome-coq

A curated list of awesome Coq frameworks, libraries and software.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.