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.1.tar.gz
sha512=c881eb35ad867320c2232c200dde66149fcd8a27972b8dfac1256a477a53e1885a7f89f82e70dbef553ce152e4afb0778bc347ed28cd4d698a1a69e308114aa2

Description

Published: 22 Mar 2023

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.