logitext icon indicating copy to clipboard operation
logitext copied to clipboard
verified publisher icon ezyang

Feature Request: Support for intuitionistic and classical Linear Logic

Open JasonGross opened this issue 5 years ago • 2 comments

I continue to love this tool, and would love to see support for linear logic. I'm happy to set up the Coq side of this, at least.

JasonGross avatar Apr 15 '20 18:04 JasonGross

Have a look at Click & coLLecT.

olaure01 avatar Apr 13 '21 15:04 olaure01

Ooh, that looks neat!

JasonGross avatar Apr 13 '21 17:04 JasonGross