Formal Methods (TLA+, Le
by @zicklag.dev
A feed about formal methods including TLA+, Lean, Coq, Isabelle, Alloy, model checking, theorem proving, and formal verification of software and mathematics.
Pull to refresh
Nothing to show yet.
by @zicklag.dev
A feed about formal methods including TLA+, Lean, Coq, Isabelle, Alloy, model checking, theorem proving, and formal verification of software and mathematics.
Nothing to show yet.