michaelsproul / dblib-linear

Formalisation of the linear lambda calculus in Coq
10Updated 5 years ago

Related projects

Alternatives and complementary repositories for dblib-linear