Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4. ~ Martin Dvořák .
https://github.com/madvorak/lean3-tactic-lean4/blob/main/README.md #ITP #Lean3 #Lean4
lean3-tactic-lean4/README.md at main · madvorak/lean3-tactic-lean4
Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4 - lean3-tactic-lean4/README.md at main · madvorak/lean3-tactic-lean4
José A. Alonso