works on
educational tools 1formal verification 1interactive theorem proving 1lean theorem prover 1mathlib 1probability theory 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.LO2026

From Lecture Notes to Lean: Formalizing a Textbook on Probability Theory

Shuo Deng, Kenneth W. Shum

The paper describes an ongoing effort to formalize a university-level probability textbook in the Lean theorem prover, creating a machine‑checked companion and reusable probability…