все параметры
wheezy  ] [  jessie  ] [  sid  ]
[ Источник: aac-tactics  ]

Пакет: libaac-tactics-ocaml (0.2.pl2-7)

Ссылки для libaac-tactics-ocaml

Screenshot

Ресурсы Debian:

Исходный код aac-tactics:

Сопровождающие:

Внешние ресурсы:

Подобные пакеты:

Coq tactics for reasoning modulo AC (plugin)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

This package provides the plugin itself.

Другие пакеты, относящиеся к libaac-tactics-ocaml

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libaac-tactics-ocaml

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 141,9 Кб551,0 Кб [список файлов]