madvorak / lean4-cheatsheetLinks

Printable (A4) overview of tactics in Lean 4 for beginners
25Updated 9 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: