Giters

rudynicolop / TAPL-Coq

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

coq-formalizationtyped-languages

TAPL-Coq

Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages.

About

Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages

coq-formalizationtyped-languages

Languages

Language:Coq 100.0%