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

Balík: libaac-tactics-ocaml (8.8.0+1.gbp069dc3b-1 a iné) [debports]

Odkazy pre libaac-tactics-ocaml

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík :

Nenájdený

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 Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
riscv64 (neoficiálny port) 8.8.0+1.gbp069dc3b-1+b2 27.0 kB135.0 kB [zoznam súborov]