search

leanprover-community / mathport

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

chore: fix repo name in lean3port config #234

Closed Ruben-VandeVelde closed 1 year ago

Ruben-VandeVelde commented 1 year ago

This is untested, but seems likely to be correct.