GitHub repository: madvorak/lean3-tactic-lean4
Created: 2023-02-17T15:17:59Z
Description: Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4