henry-hz/lean3-tactic-lean4
Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
Unlicense
Watchers
No one’s watching this repository yet.
Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
Unlicense
No one’s watching this repository yet.