mdesharnais/coq-practical-ss17-stlc

A formalisation and implementation of the simply typed lambda calculus

Coq