Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
do you want to know how to prove something and be able to believe it?
you... come up with the proof and then formalise it, ensuring you correctly translate every minute detail.
and then you get a pile of people to check it just to be sure you didn't cock up.