wszystkie opcje
jessie  ] [  stretch  ] [  sid  ]
[ Pakiet źródłowy: aac-tactics  ]

Pakiet: libaac-tactics-coq (0.4-3)

Odnośniki dla libaac-tactics-coq

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego aac-tactics:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z libaac-tactics-coq

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libaac-tactics-coq

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 208,8 KiB1 413,0 KiB [lista plików]