Feature Request: Support for intuitionistic and classical Linear Logic

ezyang / logitext

Beautiful, interactive visualizations of logical inference

BSD 3-Clause "New" or "Revised" License

150 stars 11 forks source link

Open JasonGross opened 4 years ago

JasonGross commented 4 years ago

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.

olaure01 commented 3 years ago

Have a look at Click & coLLecT.

JasonGross commented 3 years ago

Ooh, that looks neat!