Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Coming Soon: Machine-Checked Proofs in Everyday Development
media.ccc.de
185 points
fuklief
8 years ago
75 comments
Loading...
Coming Soon: Machine-Checked Proofs in Everyday Development | Heykuki News