PrototypeCommon
lenianiva/lean4-nix
Nix overlay for Lean 4, and lake2nix
- Owner
- lenianiva (personal account)
- Stars
- Stars: 127
- Forks
- Forks: 22
- Language
- Nix
- License
- Apache-2.0
- Created
- 2024
- Topics
- leanlean4nix
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Nix
All Nix repos- tailscale-dev/docker-modStars: 128NixPrototype
- Thang1191/MikuPlymouthStars: 128NixPrototype
- nix-community/yarn2nixStars: 127NixPrototype
- ngrok/docker-ngrokStars: 126NixPrototype
- on-nix/pythonStars: 126NixPrototype
- Platonic-Systems/secrixStars: 126NixPrototype