diff --git a/docs/prover/changelog/prover_changelog.md b/docs/prover/changelog/prover_changelog.md
index 3602c01d..bdd46475 100644
--- a/docs/prover/changelog/prover_changelog.md
+++ b/docs/prover/changelog/prover_changelog.md
@@ -5,6 +5,11 @@ Prover Release Notes
 ```{contents}
 ```
 
+8.16.1 (June 15, 2026)
+----------------------
+Various bug fixes and performance improvements.
+
+
 8.13.0 (May 5, 2026)
 --------------------
 ### Rule Report