diff --git a/pyproject.toml b/pyproject.toml
index eb54431..8fe5db0 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -10,7 +10,7 @@ packages = ["src/copra"]
 
 [project]
 name = "copra-theorem-prover"
-version = "1.11.0"
+version = "1.12.0"
 authors = [
   { name="Amitayush Thakur", email="amitayush@utexas.edu" },
 ]