Haoyang Ma's repositories
TAPL-Coq
Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages
000
haoyang9804
HKUST
Hong Kong
Organizations
HKUST
Hong Kong
Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages