Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM.
Saved in:
| Title: | Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM. |
|---|---|
| Authors: | DANVY, OLIVIER (AUTHOR) |
| Source: | Journal of Functional Programming. 2023, Vol. 33, p1-1. 1p. |
| Database: | Mathematics Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
