- repo based on comoproj-v2.6.1
- stated syntax of prop. logic
- stated deduction rules
- stated soundness
- added one example
- added readme