Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
reference-manual
The Lean reference manual
Lean
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
17d ago
Recent commits
Latest commits.
Update sources path in production remotes template
21ef7a8
Aaron Gray
17d ago
Update Python version 3.14.4 for link checker setup
ab671b2
Aaron Gray
18d ago
Change runner type to self-hosted in CI workflow
fee3456
Aaron Gray
18d ago
Update Python version to 3.14 for link checker setup
cd60c4a
Aaron Gray
18d ago
Update ci.yml
1419fb1
Aaron Gray
18d ago
Change runner type to self-hosted in CI workflow
1c44409
Aaron Gray
18d ago
Change runner to self-hosted ubuntu-latest
6c847a3
Aaron Gray
18d ago
Change runners to self-runner for CI jobs
1e127c7
Aaron Gray
18d ago
Top contributors
Builders behind this project.
david-christiansen
369 commits
kim-em
50 commits
robsimmons
22 commits
nomeata
20 commits
viol37
14 commits
Vierkantor
10 commits
AaronNGray
9 commits
jakobvase
9 commits
