Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
X86 Proved: Coq Library for Modelling, Specification, Generation and Proof for X86
(x86proved.codeplex.com)
60 points
based2
9 years ago
5 comments