search

leanprover / elan

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

feat: `elan dump-state` json output #129

Open Kha opened 2 months ago