Pages that link to "Item:Q6134990"
From MaRDI portal
The following pages link to Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM (Q6134990):
Displaying 1 item.
The following pages link to Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM (Q6134990):
Displaying 1 item.