PAN-50 Added the creation of the theorems table to the local_development.sql

2019-03-03 18:25:46 -07:00
parent d8422f67d7
commit f6de79a3d4
1 changed files with 11 additions and 1 deletions
@@ -22,4 +22,14 @@ name varchar(200) not null,
 definition json not null,
 notation json,
 version int default 1
-);
+);
+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
+)