/lean3-tactic-lean4

Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4

The UnlicenseUnlicense

Watchers

No one’s watching this repository yet.