fist commit
Merge https://github.com/shayan-najd/Proofs-TypeSystems