chore: correct some paths

leanprover / LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

Apache License 2.0

60 stars 16 forks source link

Closed semorrison closed 1 year ago

semorrison commented 1 year ago

Repository has moved, and lean_package has been renamed to lake-packages.