diff --git a/pkgs/tools/misc/eProver/default.nix b/pkgs/applications/science/logic/eProver/default.nix
similarity index 100%
rename from pkgs/tools/misc/eProver/default.nix
rename to pkgs/applications/science/logic/eProver/default.nix
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 7ea75b48faf..50e0e8d3b75 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -556,14 +556,6 @@ let
 
   enscript = callPackage ../tools/text/enscript { };
 
-  eprover = callPackage ../tools/misc/eProver {
-    texLive = texLiveAggregationFun {
-      paths = [
-        texLive texLiveExtra
-      ];
-  };
-  };
-
   ethtool = callPackage ../tools/misc/ethtool { };
 
   exif = callPackage ../tools/graphics/exif { };
@@ -6759,6 +6751,14 @@ let
     camlp5 = camlp5_transitional;
   };
 
+  eprover = callPackage ../applications/science/logic/eProver {
+    texLive = texLiveAggregationFun {
+      paths = [
+        texLive texLiveExtra
+      ];
+  };
+  };
+
   hol = callPackage ../applications/science/logic/hol { };
 
   hol_light = callPackage ../applications/science/logic/hol_light { };