nix shell

Stream: new members

[Evie]

Is there an example somewhere, or an easy way to get a nix shell going with the compiler and tooling? I'm running NixOS, but I want to use vim rather than Emacs/VSCode. I don't really care much about having a nix build -- I'm fine just building locally/manually and bypass nix entirely while doing dev/learning/etc.

[Mauricio Collares]

Installing elan from Nixpkgs and letting it manage Lean versions is the easiest way to get started (i.e., nix-shell -p elan -p mathlibtools) but the main Lean 4 repo is a flake if you want to hack on core Lean itself.

[Evie]

Oh, and is elan nix aware? I didn't expect it would work on NixOS.

[Mauricio Collares]

The version from Nixpkgs is! It's really cool.

[Johan Commelin]

@Evie elan is written by a NixOS user.