Sign in
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM.
Olivier Danvy
Published in:
J. Funct. Program. (2023)
Keyphrases
</>
recursive programs
theorem prover
program synthesis
logic programs
theorem proving
transformation rules
proof search
inference rules
first order logic
complete axiomatization
logic programming
database
knowledge base
proof procedure