acowley / LinearLogicLinks

A simple development of linear logic in Coq.
13Updated 2 months ago

Alternatives and similar repositories for LinearLogic

Users that are interested in LinearLogic are comparing it to the libraries listed below

Sorting: