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

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

Odkazy pre libaac-tactics-coq

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík aac-tactics:

Správcovia:

Externé zdroje:

Podobné balíky:

Coq tactics for reasoning modulo AC (theories)

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

This package provides the Coq support library.

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

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

Stiahnuť libaac-tactics-coq

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
all 217.1 kB1,526.0 kB [zoznam súborov]