Update progress

dandougherty · Feb 4, 2019 · 5fa6c3b · 5fa6c3b
1 parent 11f7844
commit 5fa6c3b
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Progress Reports/drichardson2.txt b/Progress Reports/drichardson2.txt
@@ -1,3 +1,10 @@
+Since 1/28/18:
+  Done:
+    - Worked with Matt to finish proving all the admitted lemmas in sve.v. This created more lemmas in poly.v.
+    - Proved most of the admitted lemmas in poly_unif.v.
+  Goals:
+    - Prove that substitions distribute over multiplication and addition (substP_distr_mulPP and substP_distr_addPP).
+
 Since 1/21/18:
   Done:
     - Proved reprod_build_subst which is the inductive step in the main sve function.