acowley/LinearLogic

A simple development of linear logic in Coq.

Coq