lean4-nix
by lenianiva
Nixpushed almost 2 years ago
Nix overlay for Lean 4, and lake2nix
AI summary
Lean tools kit
A Nix overlay that enables Lean 4 and Lake2Nix integration
- stars
- 18
- forks
- 3
- watching
- 2
by lenianiva
Nix overlay for Lean 4, and lake2nix
AI summary
Lean tools kit
A Nix overlay that enables Lean 4 and Lake2Nix integration