lean4-nix
Nix overlay and build tools for Lean 4, enabling reproducible builds and dependency management for Lean projects.
What is lean4-nix?
Lean 4 Nix is a Nix overlay and set of build tools for the Lean 4 theorem prover. It provides a reproducible way to build Lean 4 and its projects using Nix, replacing the deprecated official Nix flake. The project solves dependency management and build reproducibility for Lean developers working in Nix environments.
Lean 4 developers and researchers who use Nix for package management and need reproducible builds for their Lean projects, libraries, or executables.
Developers choose Lean 4 Nix because it offers flexible Lean version management, automatic dependency handling via lake2nix, incremental builds for faster development, and integration with Nix's caching for efficient builds.
Overview
Nix overlay for Lean 4, and lake2nix
Use Cases
Best For
- Building Lean 4 projects with Nix for reproducibility
- Managing Lean 4 dependencies automatically from lake-manifest.json
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.