Package: libcoq-bignums (9.0.0+rocq9.1-2 and others)

[ Source: coq-bignums  ]

Experimental package

Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.

Coq-bibliotek for store tal

Denne pakke tilbyder store tal (naturlige tal, heltal og rationaler) i Coq, som BigN, BigZ og BigQ, der tidligere var en del af standardbiblioteket.

Coq er en bevisassistent for logik i højere orden.

Other Packages Related to libcoq-bignums

• dep: libcoq-stdlib-axno0 [riscv64]

  Package not available

• dep: libcoq-stdlib-bnji8 [s390x]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-h7bl4 [amd64]

  Package not available

• dep: libcoq-stdlib-q4wc6 [arm64]

  Package not available

• dep: libcoq-stdlib-xsyt0 [ppc64el]

  virtual package provided by libcoq-stdlib

Download libcoq-bignums

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	9.0.0+rocq9.1-2+b1	1,860.2 kB	7,571.0 kB	[list of files]
arm64	9.0.0+rocq9.1-2	1,860.6 kB	7,590.0 kB	[list of files]
ppc64el	9.0.0+rocq9.1-2	1,860.3 kB	7,590.0 kB	[list of files]
riscv64	9.0.0+rocq9.1-2	1,860.3 kB	7,566.0 kB	[list of files]
s390x	9.0.0+rocq9.1-2	1,860.9 kB	7,570.0 kB	[list of files]