/lean4-cheatsheet

Printable (A4) overview of tactics in Lean 4 for beginners

Primary LanguageTeXThe UnlicenseUnlicense

Stargazers