Extracting functional programs from Coq, in Coq.

Danil Annenkov Mikkel Milo Jakob Botsch Nielsen Bas Spitters

Published in: J. Funct. Program. (2022)

Keyphrases

functional programs
theorem prover
formal methods
term rewriting systems
lazy evaluation
stochastic grammar
logic programs
machine learning
artificial intelligence
high level
multi agent
functional language