Update README.md

lxndrcx · Feb 26, 2019 · ede5baa · ede5baa
1 parent 11912a4
commit ede5baa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,8 +1,8 @@
 ## Summer Project 2018/2019: Equivalences of proof theories in HOL
 Done:
 - Proof in full intuitionistic logic
+- report
 
 TODO: 
 - classical logic
-- report
 - seminar