jldodds / coq-lean-cheatsheetLinks

A quick reference for mapping Coq tactics to Lean tactics
72Updated 4 years ago

Alternatives and similar repositories for coq-lean-cheatsheet

Users that are interested in coq-lean-cheatsheet are comparing it to the libraries listed below

Sorting: