Hacker GitHub

← All repos

clarus/falso

View on GitHub ↗ ★ 105 Coq

A proof of false in Coq.

7 mentions on Hacker News by 7 people: 1 story, 6 comments · first 2015-03-24 · latest 2024-09-26

Mentions per year 7 mentions · busiest year 2015 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 125
    Proving false in Coq using an implementation bug
    story by clarus · 2015-03-24 · 61 comments