https://proofinity.it/notes/ Short notes from Proofinity on formal methods. en https://proofinity.it/notes/everything-deserves-a-theory/ https://proofinity.it/notes/everything-deserves-a-theory/ Tue, 27 Oct 2026 00:00:00 GMT A theory sounds too big for an elevator or an office process. It is not, and it asks what tests never can: a question about every possible case.