2026-07-29 14:42 UTC
if i don't know how to elaborate your proofs to a logic whose definition i can fit in my head, i don't trust your proofs 🤷🏻
Replies (1)
-
@chrisamaphone@hci.social 2026-07-29 14:46
and if i can't elaborate your *theorem statements and specifications* to a logic whose definition i can fit in my head, it's worse than not trusting your proof: i don't even know what it is you want me to believe