linlog-cli v0.1.0 — The linlog command: decide, check, prove step by step and export sequents of linear logic, and ordinary logic through its translations.

Sign in to join the discussion — your thebay.events account works here.