package gappa

  1. Overview
  2. Docs
Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic

Install

Dune Dependency

Authors

Maintainers

Sources

gappa-1.4.0.tar.gz
sha512=d5ed841fc8def27ae3973c97d9a242e2fe4997888d3a8c2d46029aab2c5311ec5d0df3a0780fc88eead20d6aa4b34122c9bb8d290f3a2b4886488f34602d43c7