Note possibility of nix develop in README

monsterkrampe · Dec 5, 2024 · 245ecab · 245ecab
1 parent 3c8e632
commit 245ecab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -11,6 +11,6 @@ and a proof that the result of such a sequence is a universal model. (This is a
 
 Using [`elan`](https://github.com/leanprover/elan) / `lake`:
 
-- Install `elan`, e.g. via `nix-shell -p elan` if you are using nix.
+- Install `elan`, e.g. via `nix-shell -p elan` or simply `nix develop` if you are using nix.
 - Run `lake build` to build the project. If the build is successful, the proofs are correct :tada: