Hello, here is an introduction to this project.
This project may be a simple formalization of the 'Principles of Mathematical Analysis' written by Rudin, which aims to help me review mathematical analysis for the postgraduate entrance exam.
So, many processes in the proof may be slightly... childish.
That's all.
我喜欢你