Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
gRKKOeQT16
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
gRKKOeQT16
11y ago
Coq's kernel isn't particularly small so bugs are to be expected. The bug exploited in "falso", however, was outside the kernel. It never threatened correctness of existing Coq proofs.