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.

Thank you a lot. I’m trying to get into all of the mentioned topics and super happy to find another source for information.