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
https://github.com/emanuelec/teoria-dei-tipi

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

Last synced: 18 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/emanuelec/teoria-dei-tipi
• Owner: EmanueleC
• Created: 2018-03-09T15:56:17.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-03-19T15:27:30.000Z (almost 7 years ago)
• Last Synced: 2024-11-09T18:15:18.735Z (2 months ago)
• Topics: coq, esercizi, exercises, logica, martin-lof, matematica, math, proof-assistant, teoria-dei-tipi, type-theory, unipd
• Language: TeX
• Size: 25.4 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project