Initial commit
Merge branch 'master' of sfra:sfra/modal-logic-calculator

Merge README.md