New Twitter account: FormalFact

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.

@FormalMethods icon

The image for the account is a bowtie, a pun on formality. It’s also the symbol for natural join in relational algebra.

Update: This account was discontinued in July, 2017.

One thought on “New Twitter account: FormalFact

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

Comments are closed.