/lean-workbook

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

MIT LicenseMIT

Stargazers

No one’s star this repository yet.