search

lenianiva / lean4-nix

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

feat: Read toolchain file from `lean-toolchain` #7

Closed lenianiva closed 1 month ago