Tarkennettu haku
stretch  ] [  sid  ]
[ Source: aac-tactics  ]

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

Links for libaac-tactics-coq

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti aac-tactics:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin libaac-tactics-coq liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libaac-tactics-coq

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 217.1 kt1,526.0 kt [tiedostoluettelo]