PrototypeCommune
lenianiva/lean4-nix
Nix overlay for Lean 4, and lake2nix
- Propriétaire
- lenianiva (compte personnel)
- Étoiles
- Étoiles : 127
- Forks
- Forks : 22
- Langage
- Nix
- Licence
- Apache-2.0
- Création
- 2024
- Sujets
- leanlean4nix
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Nix
Tous les dépôts Nix- tailscale-dev/docker-modÉtoiles : 128NixPrototype
- Thang1191/MikuPlymouthÉtoiles : 128NixPrototype
- nix-community/yarn2nixÉtoiles : 127NixPrototype
- ngrok/docker-ngrokÉtoiles : 126NixPrototype
- on-nix/pythonÉtoiles : 126NixPrototype
- Platonic-Systems/secrixÉtoiles : 126NixPrototype