package coq-gappa
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
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.5.0.tar.gz
sha512=54a8bc0c3c7c7340d81021596c1fd3cbfb2624b28a47eeb71afe386e3237a70e88cb516f5588595ca7e09fdd22c82a43ba379c04a20d3055dd4bf0362341866b
Description
Tags
keyword:floating-point arithmetic keyword:interval arithmetic keyword:decision procedure category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:Gappa date:2021-09-23Published: 23 Sep 2021
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page