nixpkgs/pkgs/applications/science/logic/lean
2016-12-08 10:30:28 -05:00
..
default.nix lean: init at 2016-12-08 2016-12-08 10:30:28 -05:00