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

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

Länkar för libaac-tactics-coq

Screenshot

Debianresurser:

Hämta källkodspaketet aac-tactics:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libaac-tactics-coq

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

Hämta libaac-tactics-coq

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
all 217,1 kbyte1.526,0 kbyte [filförteckning]