Login / Signup
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant.
Gilles Barthe
Julien Forest
David Pichardie
Vlad Rusu
Published in:
FLOPS (2006)
Keyphrases
</>
recursive functions
inductive inference
theorem prover
test bed
complete axiomatization
data sets
user friendly
theorem proving
formal theory
training data
first order logic