Hacker News new | ask | show | jobs
by red_admiral 2148 days ago
First link (formal verification) currently gives a 404 for me. Someone not wanting the extra publicity?