Create README.md

An experimental interactive theorem prover for propositional and first-order logic based on Charles Peirce's notion of existential diagrams.