Click and coLLecT An Interactive Linear Logic Prover - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2021

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.

Domains

Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
TLLA_2021_paper_4.pdf (212.64 Ko) Télécharger le fichier
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

Download

Dates and versions

lirmm-03271501 , version 1 (25-06-2021)

Licence

Attribution - NonCommercial

Identifiers

  • HAL Id : lirmm-03271501 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LIRMM LABEX-MILYON UDL ANR TLLA2021
217 View
243 Download

Share

More