sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
39,855 Commits 4,240 Branches 120 Tags
master
Commit Graph

2 Commits

Author SHA1 Message Date
Marc Huisinga
168c125cf5 chore: relative lean-toolchains (#12652) 
This PR changes all `lean-toolchain` to use relative toolchain paths
instead of `lean4` and `lean4-stage0` identifiers, which removes the
need for manually linking toolchains via Elan.

After this PR, at least Elan 4.2.0 and 0.0.224 of the Lean VS Code
extension will be needed to edit core.

Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>
 2026-02-25 10:23:35 +00:00
Sebastian Ullrich
3a0edd05e6 doc: VS Code dev setup (#2961) 
* multi-root workspace
* default settings including .lean line length
* tasks `build` and `test`

---------

Co-authored-by: mhuisi <mhuisi@protonmail.com>
 2023-11-30 08:35:03 +00:00