A Coq Library of Undecidable Problems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

A Coq Library of Undecidable Problems

Résumé

We propose a talk on our library of mechanised reductions to establish undecidability results in Coq. The library is a collaborative effort, growing constantly and we are seeking more outside contributors willing to work on undecidability results in Coq.
Fichier principal
Vignette du fichier
coqpl20-final6.pdf (354.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02944217 , version 1 (21-09-2020)

Identifiants

Citer

Yannick Forster, Dominique Larchey-Wendling, Andrej Dudenhefner, Edith Heiter, Dominik Kirst, et al.. A Coq Library of Undecidable Problems. CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, Jan 2020, New Orleans, United States. ⟨10.1017/S0960129597002302⟩. ⟨hal-02944217⟩
150 Consultations
212 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More