Linking pages
- QuickCheck in Every Language - Hypothesis http://hypothesis.works/articles/quickcheck-in-every-language/ 13 comments
- GitHub - uhub/awesome-coq: A curated list of awesome Coq frameworks, libraries and software. https://github.com/uhub/awesome-coq 5 comments
- Functional Geekery Episode 101 – Adam Chlipala – Functional Geekery https://www.functionalgeekery.com/episode-101-adam-chlipala/ 1 comment
- 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:github.com
Search title: GitHub - QuickChick/QuickChick: Randomized Property-Based Testing Plugin for Coq
See how to search.