linlog
A linear logic solver and educational tool (pre-alpha)
About
A linear logic suite aimed primarily at education, in an early stage of development. The goal is a command-line program and an interactive, fully client-side website for working with linear logic sequents and proofs. It is inspired by Click and Collect, but with a broader feature set in mind. The code is licensed under the EUPL.