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

Paket: libaac-tactics-ocaml-dev (0.4-3)

Länkar för libaac-tactics-ocaml-dev

Screenshot

Debianresurser:

Hämta källkodspaketet aac-tactics:

Ansvariga:

Externa resurser:

Liknande paket:

Coq tactics for reasoning modulo AC (devt files)

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

This package provides the static native-code library, needed to build custom toplevels, and the compiled interfaces.

Märken: Software Development: Bibliotek, Role: Development Library

Andra paket besläktade med libaac-tactics-ocaml-dev

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

Hämta libaac-tactics-ocaml-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 44,3 kbyte447,0 kbyte [filförteckning]
armel 44,2 kbyte447,0 kbyte [filförteckning]
armhf 44,3 kbyte447,0 kbyte [filförteckning]
i386 43,9 kbyte369,0 kbyte [filförteckning]