michaelsproul/dblib-linear

Formalisation of the linear lambda calculus in Coq

Coq