search

leanprover / elan

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

fix: elan-init.ps1 on Windows ARM #110

Closed Kha closed 11 months ago