Add Lean again

home.nix

@@ -63,6 +63,7 @@ let rider = import ./rider/rider.nix { inherit pkgs; username = username; }; in
         "git.path" = "${pkgs.git}/bin/git";
         "update.mode" = "none";
         "docker.dockerPath" = "${pkgs.docker}/bin/docker";
+        "lean.leanpkgPath" = "${pkgs.elan}/bin/leanpkg";
       };
   };
 

python.nix

@@ -2,14 +2,14 @@
 
 let my-python-packages = python-packages: with python-packages; [
   pip
-  #mathlibtools
+  mathlibtools
 ];
 in
 
 let packageOverrides = self: super: {
   # Test failures on darwin ("windows-1252"); just skip pytest
   # (required for elan)
-  #beautifulsoup4 = super.beautifulsoup4.overridePythonAttrs(old: { pytestCheckPhase="true"; });
+  beautifulsoup4 = super.beautifulsoup4.overridePythonAttrs(old: { pytestCheckPhase="true"; });
 };
 in