Hacker News new | ask | show | jobs
by conceit 3749 days ago
> He was on formal proof.

Wat?