search

leanprover / elan

The Lean version manager
Apache License 2.0
292 stars 34 forks source link

mirror: add `elan-cfg` crate and env var for mirrors #103

Closed alissa-tung closed 9 months ago