diff --git a/pkgs/development/python-modules/coq-tools/default.nix b/pkgs/development/python-modules/coq-tools/default.nix
new file mode 100644
index 000000000000..b4e1edbfedb0
--- /dev/null
+++ b/pkgs/development/python-modules/coq-tools/default.nix
@@ -0,0 +1,30 @@
+{
+  lib,
+  buildPythonPackage,
+  fetchPypi,
+  setuptools,
+}:
+
+buildPythonPackage rec {
+  pname = "coq-tools";
+  version = "0.0.36";
+  pyproject = true;
+
+  src = fetchPypi {
+    pname = "coq_tools";
+    inherit version;
+    hash = "sha256-lZ469FZ19Cy+LdC4ymU4wVWe7ZtPSbYlgmym/ouQSwk=";
+  };
+
+  build-system = [ setuptools ];
+
+  pythonImportsCheck = [ "coq_tools" ];
+
+  meta = {
+    description = "Tools for working with Coq proof assistant";
+    homepage = "https://pypi.org/project/coq-tools/";
+    license = lib.licenses.mit;
+    maintainers = with lib.maintainers; [ siraben ];
+    platforms = lib.platforms.all;
+  };
+}
diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix
index bde77dda5bc1..672d862945cf 100644
--- a/pkgs/top-level/python-packages.nix
+++ b/pkgs/top-level/python-packages.nix
@@ -3066,6 +3066,8 @@ self: super: with self; {
 
   copykitten = callPackage ../development/python-modules/copykitten { };
 
+  coq-tools = callPackage ../development/python-modules/coq-tools { };
+
   coqpit = callPackage ../development/python-modules/coqpit { };
 
   corallium = callPackage ../development/python-modules/corallium { };