GitHub repository: k-qy/linear-logic
Primary language: Coq
Description: An encoding of linear logic in Coq with minimal Sokoban and blocks world examples