all options
bookworm  ] [  sid  ]
[ Source: coq-gappa  ]

Package: libcoq-gappa (1.5.2-4)

Links for libcoq-gappa

Screenshot

Debian Resources:

Download Source Package coq-gappa:

Maintainers:

External Resources:

Similar packages:

Coq tactic to use Gappa for floating-point goals

This package provides a Coq tactic to discharge goals about floating-point arithmetic and round-off errors to Gappa.

Gappa is a prover for numerical properties.

Coq is a proof assistant for higher-order logic.

Other Packages Related to libcoq-gappa

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-gappa

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 503.2 kB2,116.0 kB [list of files]
arm64 506.1 kB2,156.0 kB [list of files]
armhf 501.6 kB2,082.0 kB [list of files]
i386 500.1 kB2,094.0 kB [list of files]
ppc64el 502.8 kB2,220.0 kB [list of files]
s390x 503.7 kB2,124.0 kB [list of files]