Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool