[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Kaynak: mathcomp-bigenough ]

Paket: libcoq-mathcomp-bigenough (1.0.2-1 ve diğerleri)

libcoq-mathcomp-bigenough için bağlantılar

Debian Kaynakları:

mathcomp-bigenough Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

Benzer paketler:

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.

libcoq-mathcomp-bigenough ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libcoq-mathcomp-ssreflect-1rx88 [loong64]

sanal paketi sağlayan libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-65232 [s390x]

sanal paketi sağlayan libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-90jd2 [riscv64]

sanal paketi sağlayan libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-eich3 [arm64]

sanal paketi sağlayan libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-hau92 [ppc64el]

sanal paketi sağlayan libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ilir5 [amd64]

sanal paketi sağlayan libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-kusa1 [ppc64]

sanal paketi sağlayan libcoq-mathcomp-ssreflect

sug: ocaml-findlib

management tool for OCaml libraries

libcoq-mathcomp-bigenough indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	1.0.2-1+b6	21,4 kB	81,0 kB	[dosya listesi]
arm64	1.0.2-1+b6	21,4 kB	81,0 kB	[dosya listesi]
loong64 (resmi olmayan port)	1.0.1-14	25,2 kB	93,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	1.0.1-14	25,2 kB	93,0 kB	[dosya listesi]
ppc64el	1.0.2-1+b7	21,4 kB	81,0 kB	[dosya listesi]
riscv64	1.0.2-1+b6	21,4 kB	81,0 kB	[dosya listesi]
s390x	1.0.2-1+b6	21,4 kB	81,0 kB	[dosya listesi]