search

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
54 stars 123 forks source link

Updates outdated link to lake documentation #520

Closed kyleellefsen closed 2 months ago

kyleellefsen commented 2 months ago

The old documentation pointed to the stand alone repo. This points to the corresponding file in https://github.com/leanprover/lean4

eric-wieser commented 2 months ago

Thanks!