= Coq

• December 7, 2019 Proving TAPL in Coq (ch 3, WIP)