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.

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.

Leave a Reply

Your email address will not be published. Required fields are marked *