nixpkgs
Nix Packages collection & NixOS github.com/NixOS/nixpkgs
Star 0
Fork 0
Watch
nixpkgs pkgs development lean-modules mathlib
1 file
default.nix