Update README.md

lxndrcx · Feb 8, 2019 · 975e3c5 · 975e3c5
1 parent ff54d11
commit 975e3c5
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,8 @@
 ## Summer Project 2018/2019: Equivalences of proof theories in HOL
 Done:
-- Proof in minimal intuitionistic logic
+- Proof in full intuitionistic logic
 
 TODO: 
-- full intuitionistic and classical logic
+- classical logic
+- report
+- seminar