Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM. (6th March 2023) - DANVY, OLIVIER