I'm Fernando Chu, and I'm very interested in topics related to mathematical logic. In particular, I'm learning more about type theories, and using them to formalize mathematics.
About me
- ๐ Master in Pure Mathematics at Universidad Nacional Mayor de San Marcos.
- ๐ป My favorite language is Agda, and I've done some formalizations in personal and public projects.
- โค๏ธ I'm a firm believer of open software and science.
- ๐ฌ Feel free to contact me about anything :)