Login / Signup

Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant.

Gilles BartheJulien ForestDavid PichardieVlad 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