1
0
Fork
You've already forked lean-nix-example
0
No description
  • Nix 91.8%
  • Lean 8.2%
2026年01月27日 13:20:57 +01:00
flake.lock Initial commit 2026年01月27日 13:20:57 +01:00
flake.nix Initial commit 2026年01月27日 13:20:57 +01:00
lake-manifest.json Initial commit 2026年01月27日 13:20:57 +01:00
lakefile.toml Initial commit 2026年01月27日 13:20:57 +01:00
lean-toolchain Initial commit 2026年01月27日 13:20:57 +01:00
Main.lean Initial commit 2026年01月27日 13:20:57 +01:00
README.md Initial commit 2026年01月27日 13:20:57 +01:00

lean-nix-example

For getting started with new lean projects, with nix