všetky možnosti
bookworm  ] [  trixie  ] [  sid  ]
[ Zdroj: coq-stdpp  ]

Balík: libcoq-stdpp (1.8.0-3 a iné)

Odkazy pre libcoq-stdpp

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík coq-stdpp:

Správcovia:

Externé zdroje:

Podobné balíky:

Extended standard library for Coq

This package provides an extended standard library for Coq, for instance:

 - a great number of definitions and lemmas for common data
structures like lists, finite maps and finite multisets ;
 - type classes for common properties like decidable equality,
finiteness or countability ;
 - various tactics for common tasks ;
all of this dependency-free and axiom-free.

Coq is a proof assistant for higher-order logic.

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

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

Stiahnuť libcoq-stdpp

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
arm64 1.8.0-3+b1 3,966.1 kB14,989.0 kB [zoznam súborov]