linear-logic
An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
20 stars
5 watching
3 forks
Language: Coq
last commit: over 2 years ago An encoding of linear logic in Coq with minimal Sokoban and blocks world examples