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.
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)

Dates and versions

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

Licence

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⟩
174 View
197 Download

Share

Gmail Mastodon Facebook X LinkedIn More