Spanish version below

I had no time to invest in this blog, but I managed to gather some to write an invited post in Lawrence Paulson’s Machine Logic.

It is related to new trend of computer formalization of mathematics, in which I have also been working.

You can access it through this link.

Aunque no tuve tiempo para dedicarle al blog, no pude resistirme a la invitación de Lawrence Paulson para escribir un post para el suyo.

Entre otras cosas, está relacionado con la nueva ola de formalización de matemática en computadoras, en lo cual también he trabajado. Pueden leerlo aquí.