Projects
Showcase your projects with a hero image (16 x 9)
Master's Thesis
A formalization of my Master's thesis in Agda, as well as the latex source files for the documents. The thesis is a primer on Homotopy Type Theory written in spanish, ending with a calculation of the fundamental group of the circle.
Learn more →HoTT Book in Agda
A formalization of the Homotopy Type Theory Book in Agda. It is incomplete, as of now, but I have formalized a decent chuck of the core topics, like the fact that `is-equiv` is a proposition, and basic results about n-types.
Learn more →