diff --git a/crates/proof-of-sql/README.md b/crates/proof-of-sql/README.md
index 4b5b615f2..67bb3d9eb 100644
--- a/crates/proof-of-sql/README.md
+++ b/crates/proof-of-sql/README.md
@@ -171,8 +171,9 @@ See the [SQL specification](https://github.com/spaceandtimelabs/sxt-proof-of-sql
 * `GROUP BY`
 * Comparison operations: `=`, `>=`, `<=`, etc.
 * Logical operations: `AND`, `OR`, `NOT`.
+* Numerical operations `+`, `-`, `*`.
 * Aggregations: `SUM`, `COUNT`
-* Data Types: `BIGINT`, `VARCHAR`, `DECIMAL75`.
+* Data Types: `BOOLEAN`, `SMALLINT`, `INT`, `BIGINT`, `VARCHAR`, `DECIMAL75`, `TIMESTAMP`.
 
 
 ## Roadmap
diff --git a/docs/SQLSyntaxSpecification.md b/docs/SQLSyntaxSpecification.md
index 36195c85d..f9b0b2f7b 100644
--- a/docs/SQLSyntaxSpecification.md
+++ b/docs/SQLSyntaxSpecification.md
@@ -22,6 +22,8 @@ FROM table
         * Decimal75
     - Character Types
         * Varchar [^1]
+    - Date / Time Types
+        * Timestamp
 * Operators
     - Logical Operators
         * AND, OR