Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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.
Fichier principal
Vignette du fichier
main.pdf (345.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Identifiants

Citer

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

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More