Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2024

Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence

Résumé

Trocq is both the name of a calculus, describing a parametricity framework, and of a plugin that provides tactics for performing representation changes in goals, as well as vernacular commands for specifying the expected translations.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
main.pdf (345.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Assia Mahboubi  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-04623207

Soumis le : mardi 25 juin 2024-09:28:04

Dernière modification le : mercredi 20 novembre 2024-11:04:49

Télécharger pour visualiser

Dates et versions

hal-04623207 , version 1 (25-06-2024)

Licence

Paternité

Identifiants

Citer

Cyril Cohen, Enzo Crance, Assia Mahboubi. Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence. ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg, Luxembourg. pp.269-274, ⟨10.1007/978-3-031-57262-3_11⟩. ⟨hal-04623207⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE UNIV-COTEDAZUR NANTES-UNIVERSITE
158 Consultations
24 Téléchargements

Altmetric

Partager

More