An abstract is not available for this content. As you have access to this content, full HTML content is provided on this page. A PDF of this content is also available in through the ‘Save PDF’ action button.

@article{paperbot2142,
  title = {Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM},
  author = {OLIVIER DANVY},
  journal = {Journal of Functional Programming},
  volume = {33},
  year = {2023},
  doi = {10.1017/s0956796823000011}
}