discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Linking pages
GitHub - coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
https://github.com/coq-community/awesome-coq
0 comments
Related searches:
Search whole site:
site:www.cs.princeton.edu
See
how to search
.
Submit link to:
Hacker News
Reddit
Lobsters
Twitter
Mastodon