search

leanprover-community / mathport

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

init.control.lawful takes 5 minutes to port #144

Closed gebner closed 2 years ago

gebner commented 2 years ago

Fixed by 30c401453c1b2d81e4edcf4dfa0339017a5fa6b6.