NYAPATHI, HARSHA
(2020-04)
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. ...