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