fix: revert pre-3.40 workaround - Githubissues

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4

Apache License 2.0

43 stars 15 forks source link

fix: revert pre-3.40 workaround #133

Closed gebner closed 2 years ago