Linking pages
- GitHub - uhub/awesome-coq: A curated list of awesome Coq frameworks, libraries and software. https://github.com/uhub/awesome-coq 5 comments
- 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
Linked pages
- Effective Go - The Go Programming Language https://golang.org/doc/effective_go.html 244 comments
- https://ghc.haskell.org/trac/ghc/wiki/patternsynonyms#branchingpattern-onlysynonyms 25 comments
- Gagallium : A new Coq tactic for inversion http://gallium.inria.fr/blog/a-new-Coq-tactic-for-inversion/ 4 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - tchajed/coq-tricks: Tricks you wish the Coq manual told you
See how to search.