search

leanprover-community / mathport

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

fix: rename declaration ids #110

Closed gebner closed 2 years ago

gebner commented 2 years ago 

-structure simp_config where
+structure SimpConfig where
   maxSteps : Nat := Simp.defaultMaxSteps
gebner commented 2 years ago

Looking good in CI.