Hacker News new | ask | show | jobs
by valtism 1527 days ago
I was taught it in extracurricular mathematics in Australia. We were taught that it goes at the end of a contradiction proof once the contradiction has been found. We used to write it extra large, like lightning strike. I think of it like a proof mic-drop.