Hacker News new | ask | show | jobs
by necovek 187 days ago
Well if they used coq, maybe it would not have happened!