In this project, I have studied the basics of type theory, as a foundation for mathematics and a basis for theorem provers, using which we can formalize mathematical objects and proofs, and check their validity as well. ...