Overview of tactics in Lean 4 for beginners — longer version
The UnlicenseUnlicense
No issues in this repository yet.