všetky možnosti
bookworm  ] [  trixie  ] [  sid  ]
[ Zdroj: coqeal  ]

Balík: libcoq-coqeal (2.0.1-1 a iné)

Odkazy pre libcoq-coqeal

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík coqeal:

Správcovia:

Externé zdroje:

Podobné balíky:

algebra and data structure algorithms for Coq

This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework.

Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.

Ostatné balíky súvisiace s balíkom libcoq-coqeal

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libcoq-coqeal

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 2.0.1-1+b2 4,676.2 kB20,116.0 kB [zoznam súborov]
arm64 2.0.1-1+b2 4,676.4 kB20,116.0 kB [zoznam súborov]
armhf 2.0.1-1+b2 4,674.9 kB20,082.0 kB [zoznam súborov]
i386 2.0.1-1+b2 4,675.0 kB20,082.0 kB [zoznam súborov]
ppc64 (neoficiálny port) 1.1.3-1+b1 4,493.9 kB18,670.0 kB [zoznam súborov]
ppc64el 2.0.1-1+b2 4,676.8 kB20,116.0 kB [zoznam súborov]
riscv64 2.0.1-1+b2 4,676.7 kB20,116.0 kB [zoznam súborov]
s390x 2.0.1-1+b2 4,676.5 kB20,116.0 kB [zoznam súborov]