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