checklist.day

elan-init

JSON →
cli 4.2.2 ·rust
✓ install reviewed
devops

Lean Theorem Prover installer and version manager. Available on Homebrew and apt.

Resources

homepagegithub.com/leanprover/elan ↗

API endpoints

full doc /v1/registry/elan-init
install /v1/registry/elan-init/install