mdesharnais/log792-type-systems-formalization
Formalization of types systems with Isabelle/HOL
IsabelleBSD-3-Clause
No issues in this repository yet.
Formalization of types systems with Isabelle/HOL
IsabelleBSD-3-Clause
No issues in this repository yet.