GitHub repository: rudynicolop/TAPL-Coq
Primary language: Coq
Created: 2020-06-26T16:39:23Z
Description: Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages