search

lenianiva / lean4-nix

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

feat: Support for Lean version v4.11.0 #14

Closed lenianiva closed 4 weeks ago