Hacker News new | ask | show | jobs
by utrack 54 days ago
I, too, like it when my theorems have zero 'sorry's in them.