all options
stretch  ] [  sid  ]
[ Source: aac-tactics  ]

Пакунок: libaac-tactics-coq (8.6.1-1)

Links for libaac-tactics-coq

Screenshot

Debian Resources:

Download Source Package aac-tactics:

Maintainers:

External Resources:

Similar packages:

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.

Інші пакунки пов'язані з libaac-tactics-coq

  • depends
  • recommends
  • suggests
  • enhances

Завантажити libaac-tactics-coq

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
all 217.1 kB1,526.0 kB [список файлів]