eLxr packages

 / Пакеты / Результаты поиска пакетов

Ограничиться комплектом: [aria] [bianca]

Ограничиться архитектурой: [amd64] [arm64]

Вы искали пакеты, в именах которых есть libcoq-aac-tactics. Были просмотрены все комплекты, все секции и все архитектуры. Количество подходящих пакетов: 1.

Точные совпадения

Пакет libcoq-aac-tactics

• bianca (stable) (math): Coq tactics for reasoning modulo AC (theories)
  8.20.0-1+b4: amd64 arm64