všetky možnosti
jessie  ] [  stretch  ] [  sid  ]
[ Zdroj: aac-tactics  ]

Balík: libaac-tactics-ocaml (8.6.1-1)

Odkazy pre libaac-tactics-ocaml

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík aac-tactics:

Správcovia:

Externé zdroje:

Podobné balíky:

Coq tactics for reasoning modulo AC (plugin)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

This package provides the plugin itself.

Ostatné balíky súvisiace s balíkom libaac-tactics-ocaml

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

Stiahnuť libaac-tactics-ocaml

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 107.7 kB519.0 kB [zoznam súborov]
arm64 105.4 kB511.0 kB [zoznam súborov]
armel 112.3 kB473.0 kB [zoznam súborov]
armhf 114.8 kB429.0 kB [zoznam súborov]
i386 101.3 kB461.0 kB [zoznam súborov]
mips 26.5 kB139.0 kB [zoznam súborov]
mips64el 26.5 kB139.0 kB [zoznam súborov]
mipsel 26.5 kB139.0 kB [zoznam súborov]
ppc64el 26.5 kB139.0 kB [zoznam súborov]
s390x 26.5 kB139.0 kB [zoznam súborov]