Viewing profile — gRKKOeQT16
gRKKOeQT16
HN member- Joined
- Sat, Jun 06, 2015, 8:48 PM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About gRKKOeQT16
No profile information was provided.
Recent public activity
-
comment
Comment #9672236
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 pro…