Material related to the LCI course of the University of Pisa.
- laboratory: stuff related to the laboratory part of the course
- theory: theory and seminar
glpaparelli/languages-compilers-interpreters
"Languages, Compilers, and Interpreters" Course Material
Coq