libcoq-flocq 4.1.4-1build2 (amd64 binary) in ubuntu oracular
Flocq provides a formalization of floating-point arithmetic
for Coq, in the form of a comprehensive library of
theorems on a multi-radix multi-precision arithmetic,
with efficient numerical computations.
.
Coq is a proof assistant for higher-order logic.
Details
- Package version:
- 4.1.4-1build2
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
amd64 build of flocq 4.1.4-1build2 in ubuntu oracular PROPOSED produced
these files:
- libcoq-flocq_4.1.4-1build2_amd64.deb (3.7 MiB)
Package relationships
- Depends on:
- libcoq-stdlib-u6so5
- Provides:
- libcoq-flocq-ghar0