Paket: libcoq-math-classes (8.19.0-1 ve diğerleri)

libcoq-math-classes için bağlantılar

$Screenshot$

Debian Kaynakları:

coq-math-classes Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

Benzer paketler:

Abstract interfaces for mathematical structures for Coq

This library provides abstract interfaces for mathematical structures for Coq, such as:

 - algebraic hierarchy (groups, rings, fields, ...)
 - relations, orders, ...
 - Categories, functors, universal algebra, ...
 - Numbers: N, Z, Q, ...
 - Operations (shift, power, abs, ...).

Coq is a proof assistant for higher-order logic.

libcoq-math-classes ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libcoq-bignums-4mxx0 [ppc64el]

sanal paketi sağlayan libcoq-bignums
dep: libcoq-bignums-gak59 [riscv64]

sanal paketi sağlayan libcoq-bignums
dep: libcoq-bignums-hjxv3 [s390x]

sanal paketi sağlayan libcoq-bignums
dep: libcoq-bignums-j0ul9 [amd64]

sanal paketi sağlayan libcoq-bignums
dep: libcoq-bignums-tyws0 [arm64]

sanal paketi sağlayan libcoq-bignums
dep: libcoq-stdlib-cw0z4 [arm64]

sanal paketi sağlayan libcoq-stdlib
dep: libcoq-stdlib-f88b8 [ppc64el]

sanal paketi sağlayan libcoq-stdlib
dep: libcoq-stdlib-orhs4 [amd64]

sanal paketi sağlayan libcoq-stdlib
dep: libcoq-stdlib-qzv05 [s390x]

sanal paketi sağlayan libcoq-stdlib
dep: libcoq-stdlib-wfue2 [riscv64]

sanal paketi sağlayan libcoq-stdlib

libcoq-math-classes indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	8.19.0-1+b5	2.817,5 kB	12.877,0 kB	[dosya listesi]
arm64	8.19.0-1+b5	2.817,7 kB	12.877,0 kB	[dosya listesi]
ppc64el	8.19.0-1+b6	2.817,8 kB	12.877,0 kB	[dosya listesi]
riscv64	8.19.0-1+b5	2.817,6 kB	12.877,0 kB	[dosya listesi]
s390x	8.19.0-1+b5	2.817,6 kB	12.877,0 kB	[dosya listesi]