all options
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Source: coq-bignums  ]

Package: libcoq-bignums (9.0.0+coq8.20-1 and others)

Links for libcoq-bignums

Screenshot

Debian Resources:

Download Source Package coq-bignums:

Maintainers:

External Resources:

Similar packages:

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

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-bignums

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 9.0.0+coq8.20-1+b9 1,869.3 kB7,601.0 kB [list of files]
arm64 9.0.0+coq8.20-1+b8 1,869.8 kB7,641.0 kB [list of files]
ppc64el 9.0.0+coq8.20-1+b9 1,869.3 kB7,641.0 kB [list of files]
riscv64 9.0.0+coq8.20-1+b8 1,869.1 kB7,593.0 kB [list of files]
s390x 9.0.0+coq8.20-1+b9 1,869.3 kB7,601.0 kB [list of files]