La Universidad de Pensilvania, conocida también como Penn o UPenn es una universidad privada ubicada en Filadelfia, Pensilvania. Fundada en 1740 por Benjamin Franklin, Penn es una de las ocho instituciones pertenecientes a la Ivy League y es una de las universidades más prestigiosas del mundo.
Demostración comentada del Teorema Fundamental de la Aritmética en Agda
El profesor Brent Yorgey publica una demostración completa, desarrollada desde cero, del Teorema Fundamental de la Aritmética en el asistente de pruebas Agda. El recurso está pensado como material didáctico de nivel intermedio para personas que ya conocen los fundamentos de Agda y la correspondencia
