Labs

linlog

Prove sequents of linear logic step by step, in the browser.

labs.grubmueller.dev/linlog Hosted at linlog-prover.github.io