Extracting functional programs from Coq, in Coq.

Danil Annenkov Mikkel Milo Jakob Botsch Nielsen Bas Spitters

Published in: CoRR (2021)

Keyphrases

functional programs
formal methods
theorem prover
term rewriting systems
lazy evaluation
stochastic grammar
database
logic programs
data mining
high level
object oriented
intelligent agents