nix source for lean3

Stream: general

[Sebastian Ullrich]

Have you considered using elan from nixpkgs instead? It's not "Nix all the way" then (so it won't work in e.g. a sandboxed build), but it ensures you can use the same workflows as other people.

[Joachim Breitner]

No, I didn’t know about elean. Ah, the rustup for lean? Ok, guess that’s the way to go, thanks :-)

[Notification Bot]

Joachim Breitner has marked this topic as resolved.

[Sebastian Ullrich]

Yes, it's literally a rustup fork :)

[Sebastian Ullrich]

In comparison, for Lean 4 the Nix build is usually the first one that is published (...to https://lean4.cachix.org/). But a simple, Lake-compatible setup is still missing.

[Joachim Breitner]

Not sure how I missed elean during my first installation experience. Maybe I was thinking “I use nix, I don't need such things” and forgot about it

[Notification Bot]

Gabriel Ebner has marked this topic as unresolved.