a proposition is true if and only if i think it's true

this is david's theorem and here's the proof: i think it's true

@david that sounds reasonable.

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.

some hermit@crlf@raru.re@david that sounds reasonable.