linlog v0.1.0 — A linear logic suite: decides, checks, proves step by step and exports sequents of classical and intuitionistic linear logic, and ordinary propositional logic through its embeddings.

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