NICTA/cogent
Cogent Project
2 best points · 0 comments · 1 Hacker News post · 185 GitHub stars · View on GitHub
Hacker News discussions
- Cogent: Code and Proof Co-Generation (2 points, 0 comments, by tluyben2, 2016-05-07)
Cogent Project
2 best points · 0 comments · 1 Hacker News post · 185 GitHub stars · View on GitHub