Click and coLLecT An Interactive Linear Logic Prover
Abstract
We describe the 'Click and coLLecT' system, an interactive tool for building linear logic proofs online.
Origin | Files produced by the author(s) |
---|
Origin | Files produced by the author(s) |
---|
Isabelle Gouat : Connect in order to contact the contributor
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271501
Submitted on : Friday, June 25, 2021-6:38:10 PM
Last modification on : Tuesday, November 12, 2024-3:20:06 PM
Long-term archiving on : Sunday, September 26, 2021-10:35:02 PM