Sign in

Enabling Floating-Point Arithmetic in the Coq Proof Assistant.

Érik Martin-DorelGuillaume MelquiondPierre Roux
Published in: J. Autom. Reason. (2023)
Keyphrases
  • theorem prover
  • floating point arithmetic
  • floating point
  • test bed
  • formal methods
  • first order logic
  • inference rules
  • general purpose
  • database management systems
  • instruction set