Zobrazeno 1 - 1
of 1
pro vyhledávání: '"RanDair Porter"'
Publikováno v:
PLDI
We describe a new approach to automatically repairing broken proofs in the Coq proof assistant in response to changes in types. Our approach combines a configurable proof term transformation with a decompiler from proof terms to tactic scripts. The p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ef0c24ac27a65c4d0a7ea811deac93e5
