search

leanprover-community / mathport

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

fix: name lookup in open #124

Closed digama0 closed 2 years ago

digama0 commented 2 years ago

fixes #123

gebner commented 2 years ago

Works as advertised!