všetky možnosti
trixie  ] [  forky  ] [  sid  ]
[ Zdroj: mathcomp-analysis  ]

Balík: libcoq-mathcomp-classical (1.9.0-1 a iné)

Odkazy pre libcoq-mathcomp-classical

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík mathcomp-analysis:

Správcovia:

Externé zdroje:

Podobné balíky:

classical logic extension for Mathematical Components

This package provides an extension for work with classical logic within the Coq proof-assistant using the Mathematical Components library.

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

Ostatné balíky súvisiace s balíkom libcoq-mathcomp-classical

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

Stiahnuť libcoq-mathcomp-classical

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 1.9.0-1+b4 3,343.5 kB13,204.0 kB [zoznam súborov]
arm64 1.9.0-1+b4 3,343.2 kB13,204.0 kB [zoznam súborov]
ppc64el 1.9.0-1+b4 3,343.1 kB13,204.0 kB [zoznam súborov]
riscv64 1.9.0-1+b3 3,344.0 kB13,204.0 kB [zoznam súborov]
s390x 1.9.0-1+b3 3,342.7 kB13,204.0 kB [zoznam súborov]