lean4-nix

github.comtool

Nix flake build for Lean 4, and lake2nix.

from

Nix

added

2026-10-10

likes

0

Nix › Programming Languages > Lean: “Nix flake build for Lean 4, and lake2nix.”