lean4-nix

Lean tools kit

A Nix overlay that enables Lean 4 and Lake2Nix integration

Nix overlay for Lean 4, and lake2nix

18 stars

2 watching

3 forks

Language: Nix

last commit: about 1 month ago

leanlean4nix