Repository navigation

Commit eb922ab

committed

update readme

1 parent fc2b2a6 commit eb922abCopy full SHA for eb922ab

1 file changed

README.md

`‎README.md‎`

-Original file line number
+Diff line change
 ## Roadmap
 -- [ ] Add tests
 +- [ ] Add tests (WIP)
 - [ ] Hilbert systems
 - [x] Natural deduction
 - [ ] Boolean algebra

Comments

(0)