Hacker News new | ask | show | jobs
by tbrownaw 4788 days ago
Some things that are "obvious" are not actually true if you look closely enough. Having a formal proof means that this is not one of those things.