diff --git a/crates/proof-of-sql/README.md b/crates/proof-of-sql/README.md
index 4b5b615f2..5cc938f19 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`, Integer types, `VARCHAR`, `DECIMAL75`, `TIMESTAMP`.
 
 
 ## Roadmap
diff --git a/docs/SQLSyntaxSpecification.md b/docs/SQLSyntaxSpecification.md
index 36195c85d..571a7bfe1 100644
--- a/docs/SQLSyntaxSpecification.md
+++ b/docs/SQLSyntaxSpecification.md
@@ -13,15 +13,17 @@ FROM table
 ```
 ## Supported in the Prover
 * DataTypes
-    - Boolean
+    - Bool / Boolean
     - Numeric Types
-        * SmallInt / Int16
-        * Int / Int32
-        * BigInt / Int64
+        * SmallInt (16 bits)
+        * Int / Integer (32 bits)
+        * BigInt (64 bits)
         * Int128
         * Decimal75
     - Character Types
         * Varchar [^1]
+    - Date / Time Types
+        * Timestamp
 * Operators
     - Logical Operators
         * AND, OR