leanprover / elan

git clone https://github.com/leanprover/elan.git

The Lean version manager

stars, 24h · #41,500

+~0

stars, 7 days · #41,574

+~0

stars, 30 days · #41,712

659

★ total

forks · 33 open issues

2026-10-20 · 658 ★ 2026-10-22 · 659 ★

LanguageRust

LicenseApache-2.0

Created2018-04-04 (8y ago)

Last push12d ago

OwnerOrganization