madvorak / lean4-cheatsheetLinks

Printable (A4) overview of tactics in Lean 4 for beginners
24Updated 8 months ago

Alternatives and similar repositories for lean4-cheatsheet

Users that are interested in lean4-cheatsheet are comparing it to the libraries listed below

Sorting: