search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

lean4-mode link is outdated #85

Closed philnguyen closed 2 years ago

philnguyen commented 2 years ago

Under the "Editor Support" section, it's pointing to https://github.com/leanprover/lean4/tree/master/lean4-mode, which gives 404. I think the new link is now https://github.com/leanprover/lean4-mode