fix: relative imports are no longer supported in Lean 4 - Githubissues

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4

https://leanprover.github.io/theorem_proving_in_lean4/

Apache License 2.0

159 stars 85 forks source link

fix: relative imports are no longer supported in Lean 4 #90

Closed tonyxty closed 7 months ago

david-christiansen commented 7 months ago

Thanks!