Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Make formal verification and provably correct software practical and mainstream
github.com/magmide
204 points
_pyqs
4 years ago
191 comments
Loading...
Make formal verification and provably correct software practical and mainstream | Heykuki News