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

github.com/kai-qu/linear-logic

Problem

Audience

Updates

No founder updates yet. Check back soon.