New Twitter account: FormalFact
by John from John D. Cook on (#1VCNK)
I'm starting a new Twitter account for logic and formal methods: @FormalFact.
Expect to see tweets about constructive logic, type theory, formal proofs, proof assistants, etc.
The image for the account is a bowtie, a pun on formality. It's also the symbol for natural join in relational algebra.