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: 4 months 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 (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-03-19T15:27:30.000Z (about 7 years ago)
- Last Synced: 2025-01-05T05:43:02.342Z (5 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