diff --git a/persistence/scripts/mysql/local_development.sql b/persistence/scripts/mysql/local_development.sql
index 1f885cc..87984f0 100644
--- a/persistence/scripts/mysql/local_development.sql
+++ b/persistence/scripts/mysql/local_development.sql
@@ -22,4 +22,14 @@ name varchar(200) not null,
 definition json not null,
 notation json,
 version int default 1
-);
\ No newline at end of file
+);
+create table theorems (
+id int not null auto_increment primary key unique,
+name varchar(512) not null,
+theorem_type enum ('THEOREM', 'PROPOSITION', 'LEMMA', 'COROLLARY') not null,
+branch varchar(512) not null,
+referenced_definitions json,
+referenced_theorems json,
+proven_status boolean default false,
+version int default 1
+)
\ No newline at end of file