libcoq-flocq 4.1.3-1build4 (s390x 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.3-1build4
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
s390x build of flocq 4.1.3-1build4 in ubuntu noble PROPOSED produced
these files:
- libcoq-flocq_4.1.3-1build4_s390x.deb (3.6 MiB)
Package relationships
- Depends on:
- libcoq-stdlib-b7j06
- Provides:
- libcoq-flocq-xv9t4
