andrewjunyoung
released this
07 Jan 22:45
·
1 commit
to release/0.2.0
since this release
[0.2.0] - 2020-01-07
Added
- 3 more logical systems to work with:
- Post logics
- Priest logics
- Product logics
- Wrote an extensive readme file with lots of project information.
- Added comments about usage to the doc pages.
Fixed
- Formatting of setup to include a space.