Verbose Lean demo

April 22, 2025 ยท View on GitHub

Open in Gitpod

If you have Lean or your computer, you can also clone this repository and run lake exe cache get and lake build, and then look at VerboseDemo/Examples.lean.