package coq-gappa

  1. Overview
  2. Homepage
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover

Install

Dune Dependency

Authors

Maintainers

Sources

gappalib-coq-1.7.1.tar.gz
sha512=d7ce43e05b2c16a761ef7ebc3b4129c52c9ee043a25d7496254c3905f3fa5e01d73694da25408d0c90f8026eec7e3d6e45217391d9664aa3b5f2239aa0468014
Rocq

Interactive Theorem Prover