https://github.com/emanuelec/teoria-dei-tipi

Appunti ed esercizi del corso "Teoria dei tipi" - università degli studi di Padova, corso di laurea in Informatica

coq esercizi exercises logica martin-lof matematica math proof-assistant teoria-dei-tipi type-theory unipd

Last synced: 23 Feb 2025