GitHub repository: madvorak/lean4-tactics
Created: 2023-10-04T08:11:30Z
Description: Overview of tactics in Lean 4 for beginners — longer version