pyrox.dev / nixpkgs
lol
fork atom
nixpkgs / pkgs / applications / science / logic / lean4 /
at 23.11-beta 1 file
Mario Rodas lean4: 4.1.0 -> 4.2.0
39042ada
default.nix