/linear-logic

An encoding of linear logic in Coq with minimal Sokoban and blocks world examples

Primary LanguageCoq

No issues in this repository yet.