search

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
43 stars 15 forks source link

Support `simp with attr` #140

Open gebner opened 2 years ago

gebner commented 2 years ago

Should be translated to simp [attr] now. https://github.com/leanprover/lean4-nightly/releases/tag/nightly-2022-03-21