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