alle opties
wheezy  ] [  jessie  ] [  sid  ]
[ Bron: aac-tactics  ]

Pakket: libaac-tactics-coq (0.2.pl2-7)

Verwijzigingen voor libaac-tactics-coq

Screenshot

Debian bronnen:

Het bronpakket aac-tactics downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

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.

Andere aan libaac-tactics-coq gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libaac-tactics-coq downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
all 313,2 kB2.445,0 kB [overzicht]