Verified record · from the answer index
elan-init
clitested · static-verifiedscore 29/100signed passport ✓289 monthly downloads
Lean Theorem Prover installer and version manager
cli:brew:elan-init · published by leanprover · source repository
Verified record · from the answer index
Lean Theorem Prover installer and version manager
cli:brew:elan-init · published by leanprover · source repository