Hacker News new | past | comments | ask | show | jobs | submit | clarus's submissions login

1. The new tactic engine of Coq 8.5 (inria.fr) 3 points by clarus on Feb 14, 2016 | past 2. 150,000 penguins die because of giant iceberg (theguardian.com) 1 point by clarus on Feb 13, 2016 | past 3. Proving false in Coq using an implementation bug (github.com/clarus) 125 points by clarus on March 24, 2015 | past | 61 comments 4. POPL 2012 links of papers (claret.me) 1 point by clarus on Dec 11, 2011 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: