diff --git a/docs/source/conf.py b/docs/source/conf.py
index d979d06..8dc7aca 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -13,7 +13,7 @@
 project = "LeanDojo"
 copyright = "2023, LeanDojo Team"
 author = "Kaiyu Yang"
-release = "1.6.0rc"
+release = "1.6.0"
 
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration
diff --git a/pyproject.toml b/pyproject.toml
index 646baeb..d48d587 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -13,7 +13,7 @@ exclude = [
 
 [project]
 name = "lean-dojo"
-version = "1.6.0rc"
+version = "1.6.0"
 authors = [
   { name="Kaiyu Yang", email="kaiyuy@caltech.edu" },
 ]
diff --git a/src/lean_dojo/constants.py b/src/lean_dojo/constants.py
index 375fe46..5f619b5 100644
--- a/src/lean_dojo/constants.py
+++ b/src/lean_dojo/constants.py
@@ -14,7 +14,7 @@
 
 load_dotenv()
 
-__version__ = "1.6.0rc"
+__version__ = "1.6.0"
 
 logger.remove()
 if "VERBOSE" in os.environ or "DEBUG" in os.environ: