Article 1VCNK New Twitter account: FormalFact

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.

FormalMethods.png

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

FuDt_TGXuck
External Content
Source RSS or Atom Feed
Feed Location http://feeds.feedburner.com/TheEndeavour?format=xml
Feed Title John D. Cook
Feed Link https://www.johndcook.com/blog
Reply 0 comments