bluesky — Nick Santos — 13 Sep 2026
Just finished "The Proof in the Code", about the development of Lean and formal verification of proofs. Great book!
#proof-assistants #formal-verification
Just finished "The Proof in the Code", about the development of Lean and formal verification of proofs. Great book!