PAN-52 Finished creating the ProofController and writing all unit tests

2019-03-15 15:58:23 -06:00
parent bd7455c679
commit 4b866017a1
7 changed files with 333 additions and 10 deletions
@@ -36,7 +36,7 @@ version int default 1
 CREATE TABLE proofs
 (
  id        INT NOT NULL AUTO_INCREMENT,
-  name      VARCHAR(512) NOT NULL,
+  theorem_name      VARCHAR(512) NOT NULL,
  branch    VARCHAR(512) NOT NULL,
  theorem   INT NOT NULL,
  FOREIGN KEY fk_theorem (theorem) REFERENCES theorems (id) ON DELETE NO ACTION ON UPDATE NO ACTION,