ComputerAidedLL / click-and-collect

A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
19Updated 2 years ago

Related projects

Alternatives and complementary repositories for click-and-collect