Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with teoria-dei-tipi
A curated list of projects in awesome lists tagged with teoria-dei-tipi .
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: 09 Nov 2024
