chore: minor cleanup - Githubissues

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4

Apache License 2.0

43 stars 15 forks source link

Closed digama0 closed 2 years ago

digama0 commented 2 years ago

This is the mathport side of leanprover-community/mathlib4#256 , just a few miscellaneous fixes.