all options
bookworm  ] [  trixie  ] [  sid  ]
[ Source: coq-ext-lib  ]

Пакунок: libcoq-ext-lib (0.12.1-2 and others)

Links for libcoq-ext-lib

Screenshot

Debian Resources:

Download Source Package coq-ext-lib:

Maintainers:

External Resources:

Similar packages:

Collection of theories and plugins for Coq

This package provides a collection of theories and plugins that may be useful in other Coq developments.

Coq is a proof assistant for higher-order logic.

Інші пакунки пов'язані з libcoq-ext-lib

  • depends
  • recommends
  • suggests
  • enhances

Завантажити libcoq-ext-lib

Завантаження для всіх доступних архітектур
Архітектура Версія Розмір пакунка Розмір після встановлення Файли
arm64 0.12.1-2+b3 761.4 kB3,711.0 kB [список файлів]