Readings shared May 19, 2026

The readings shared in Bluesky on 19 May 2026 are: A shallow dive into formal verification. ~ Vitalik Buterin. #LeanProver #ITP Decidable (Logic in Lean). #LeanProver #ITP #FunctionalProgramming Lean