tesis

Tesis de licenciatura. DC UBA. PPA - Pani's Proof Assistant

Directorios

• doc/: Fuentes del escrito y la presentación
  • Escrito (Documento de la tesis)
  • Presentación (también se puede ver la grabación de la transmisión en vivo enYouTube)
• ppa/: Programa ppa. Dirigirse al README.md para más información de cómo instalarlo y correrlo (o leer el capítulo de la herramienta ppa en el documento de la tesis)