Atia110/Theorem-Prover-and-Proof-Assistant

Update app.py

Create requirements.txt

Update README.md

Update app.py

Create app.py

initial commit