search

lenianiva / lean4-nix

Nix overlay for Lean 4, and lake2nix
Apache License 2.0
16 stars 2 forks source link

Lean v4.11 build is broken #16

Closed lenianiva closed 3 weeks ago

lenianiva commented 1 month ago

Not very urgent but would be a good time to showcase backward compatibility