Import Mathbin no longer works in dependencies - Githubissues

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4

Apache License 2.0

41 stars 15 forks source link

Import Mathbin no longer works in dependencies #193

Closed gebner closed 2 years ago