lean4

mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 10:24:07 +00:00

Files

Dax Fohl 2877196656 doc: fix broken "quickstart" and "supported editors" link (#8785 )

The "supported editors" link in
https://github.com/leanprover/lean4/blob/master/doc/dev/index.md is
broken, as `setup.md` no longer exists in the repo. This PR changes the
link to point to the live Lean docs setup page at
https://docs.lean-lang.org/lean4/doc/setup.html#editing.

A similar fix for quickstart is included.

---------

Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>

2025-09-02 12:45:04 +00:00

emscripten.md

doc: add wsl setup docs and reorganize a new "dev" folder

2021-09-23 09:21:39 +02:00

index.md

doc: fix broken "quickstart" and "supported editors" link (#8785 )

2025-09-02 12:45:04 +00:00

msys2.md

feat: compile against Windows SDK headers under Windows (#5753 )

2024-10-22 13:00:02 +00:00

osx-10.9.md

doc: freshen up Mac OSX build instructions (#9618 )