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

gitlab.inria.fr Edit opam file Versions (3)

Authors

  1. G
    Guillaume Melquiond

Maintainers

  1. 7
    7895506+MSoegtropIMC@users.noreply.github.com

Sources

gappa-1.4.1.tar.gz
sha512=c881eb35ad867320c2232c200dde66149fcd8a27972b8dfac1256a477a53e1885a7f89f82e70dbef553ce152e4afb0778bc347ed28cd4d698a1a69e308114aa2

Description

Published: 22 Mar 2023

Dev Dependencies

None

Used by

None

Conflicts

None