Click and coLLecT An Interactive Linear Logic Prover - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
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 : Thursday, May 11, 2023-11:56:10 AM

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 TEI Dublin Core DC Terms EndNote Datacite

Collections

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

Share

Gmail Facebook Twitter LinkedIn More