all options
buster  ] [  bullseye  ] [  sid  ]
[ Source:  ]

Пакунок: why3-coq (1.3.3-3) [debports]

Links for why3-coq

Screenshot

Debian Resources:

Download Source Package :

Не знайдено

Maintainers:

External Resources:

Similar packages:

Coq support for the why3 verification platform

This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.

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

  • depends
  • recommends
  • suggests
  • enhances

Завантажити why3-coq

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
x32 (unofficial port) 739.2 kB3,826.0 kB [список файлів]