This repository is not active
Champitoad/LambdaSub
Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
MakefileMIT
Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
MakefileMIT
This repository is not active