Click and coLLecT An Interactive Linear Logic Prover - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2021

Click and coLLecT An Interactive Linear Logic Prover

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Identifiants

  • HAL Id : lirmm-03271501 , version 1

Citer

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⟩
219 Consultations
244 Téléchargements

Partager

More