Nix flake build for Lean 4, and lake2nix.
NixApache License 2.0active
Nix Lean
Search all Nix projects →1 projectProgramming Languages › Lean
- 100%active
1 projectProgramming Languages › Lean
Nix flake build for Lean 4, and lake2nix.
NixApache License 2.0active