Hacker News
Linking pages
- GitHub - uhub/awesome-coq: A curated list of awesome Coq frameworks, libraries and software. https://github.com/uhub/awesome-coq 5 comments
- CS 6120: CompCert: Formally Verified C Compiler https://www.cs.cornell.edu/courses/cs6120/2019fa/blog/comp-cert/ 0 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- A formally verified R-tree implementation https://kuruczgy.com/blog/2023/11/12/verified-rtree/ 0 comments
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - AbsInt/CompCert: The CompCert formally-verified C compiler
See how to search.