/lean-workbook

A collection of maths exercises and solutions for the Lean theorem prover

MIT LicenseMIT

No issues in this repository yet.