The repository for the Lean Learning Lab at the University of Washington.
Get this using leanproject get https://github.com/Vilin97/LLL.
If you get errors in your code, try updating mathlib with leanproject get-mathlib-cache. Here are detailed instructions.