search

lenianiva / lean4-nix

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

Read Lean4 toolchain from `lean-toolchain` #4

Closed lenianiva closed 1 month ago

lenianiva commented 1 month ago

The user should be able to write

      pkgs = import nixpkgs {
        inherit system;
        overlays = [ lean4-nix.readToolchain ./lean-toolchain ];
      };

and get the correct Lean toolchain as pkgs.lean.