Package: libcoq-mathcomp-bigenough (1.0.1-12 and others)

[ Source: mathcomp-bigenough  ]

epsilon - N reasoning for Mathematical Components

This package provides an extension to reason with big enough objects (mostly natural numbers) for the Mathematical Components library.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

Other Packages Related to libcoq-mathcomp-bigenough

• dep: libcoq-mathcomp-ssreflect-2p885 [riscv64]

  virtual package provided by libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-342a2 [s390x]

  virtual package provided by libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-4a185 [i386]

  virtual package provided by libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-ad5z4 [ppc64]

  virtual package provided by libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-c6dp7 [ppc64el]

  virtual package provided by libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-e7ay1 [arm64]

  virtual package provided by libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-i2ki5 [amd64]

  virtual package provided by libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-rr6p1 [armhf]

  virtual package provided by libcoq-mathcomp-ssreflect

• sug: ocaml-findlib

  management tool for OCaml libraries

Download libcoq-mathcomp-bigenough

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	1.0.1-12+b2	25.5 kB	95.0 kB	[list of files]
arm64	1.0.1-12+b2	25.5 kB	95.0 kB	[list of files]
armhf	1.0.1-12+b2	25.4 kB	95.0 kB	[list of files]
i386	1.0.1-12+b2	25.5 kB	95.0 kB	[list of files]
ppc64 (unofficial port)	1.0.1-10	24.2 kB	91.0 kB	[list of files]
ppc64el	1.0.1-12+b2	25.5 kB	95.0 kB	[list of files]
riscv64	1.0.1-12+b2	25.5 kB	95.0 kB	[list of files]
s390x	1.0.1-12+b2	25.5 kB	95.0 kB	[list of files]