/coq-lean-cheatsheet

A quick reference for mapping Coq tactics to Lean tactics

No issues in this repository yet.