Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Proving false in Coq using an implementation bug
github.com/clarus
125 points
clarus
11 years ago
61 comments
Loading...
Proving false in Coq using an implementation bug | Heykuki News