Skip to Main content Skip to Navigation
Conference papers

Click and coLLecT An Interactive Linear Logic Prover

Etienne Callies 1, 2 Olivier Laurent 1, 2
2 PLUME - Preuves et Langages
LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : We describe the 'Click and coLLecT' system, an interactive tool for building linear logic proofs online.
Document type :
Conference papers
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271501
Contributor : Isabelle Gouat <>
Submitted on : Friday, June 25, 2021 - 6:38:10 PM
Last modification on : Monday, June 28, 2021 - 3:26:37 AM

File

TLLA_2021_paper_4.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Identifiers

  • HAL Id : lirmm-03271501, version 1

Citation

Etienne Callies, Olivier Laurent. Click and coLLecT An Interactive Linear Logic Prover. 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy. ⟨lirmm-03271501⟩

Share

Metrics

Record views

115

Files downloads

39