Formal Methods (TLA+, Le
zicklag.dev
A feed about formal methods including TLA+, Lean, Coq, Isabelle, Alloy, model checking, theorem proving, and formal verification of software and mathematics.
Enable JavaScript to use Bluesky.
Learn more about Bluesky at bsky.social and atproto.com.