alla flaggor
stretch  ] [  sid  ]
[ Källkod: aac-tactics  ]

Paket: libaac-tactics-ocaml (8.6.1-1)

Länkar för libaac-tactics-ocaml

Screenshot

Debianresurser:

Hämta källkodspaketet aac-tactics:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libaac-tactics-ocaml

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libaac-tactics-ocaml

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 107,7 kbyte519,0 kbyte [filförteckning]
arm64 105,4 kbyte511,0 kbyte [filförteckning]
armel 112,3 kbyte473,0 kbyte [filförteckning]
armhf 114,8 kbyte429,0 kbyte [filförteckning]
i386 101,3 kbyte461,0 kbyte [filförteckning]
mips 26,5 kbyte139,0 kbyte [filförteckning]
mips64el 26,5 kbyte139,0 kbyte [filförteckning]
mipsel 26,5 kbyte139,0 kbyte [filförteckning]
ppc64el 26,5 kbyte139,0 kbyte [filförteckning]
s390x 26,5 kbyte139,0 kbyte [filförteckning]