Skip to content

Commit ede5baa

Browse files
lxndrcxlxndrcx
authored
Update README.md
1 parent 11912a4 commit ede5baa

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎README.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
## Summer Project 2018/2019: Equivalences of proof theories in HOL
22
Done:
33
- Proof in full intuitionistic logic
4+
- report
45

56
TODO:
67
- classical logic
7-
- report
88
- seminar

0 commit comments

Comments
 (0)