search

lenianiva / lean4-nix

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

doc: Fix minimal version, and add toolchain file #15

Closed lenianiva closed 4 weeks ago