Quote
Voting:
-
13
+
99 unproven theorems in Coq.
99 unproven theorems.
Take one down, prove it sound.
98 unproven theorems in Coq.
...
1 unproven theorem in Coq.
1 unproven theorem.
Think a month, find it wrong.
99 unproven theorems in Coq…
— Haobin Ni,
after the renowned "99 little bugs"
·
Jan. 25, 2019