[ etiona ]
[ Источник: why ]
Пакет: libwhy-coq (2.39-2build1)
Ссылки для libwhy-coq
Ресурсы Trisquel:
Исходный код why:
Сопровождающий:
Original Maintainers:
- Debian OCaml Maintainers (Почтовый архив)
- Samuel Mimram
- Mehdi Dogguy
- Ralf Treinen
Внешние ресурсы:
- Сайт [krakatoa.lri.fr]
Подобные пакеты:
Why library for Coq
This package contains all useful logical definitions, lemmas with their proofs and axioms used by Why. Users may need this package when proving some proof obligations in Coq.
Другие пакеты, относящиеся к libwhy-coq
|
|
|
-
- dep: coq-8.6+4.05.0
- виртуальный пакет, предоставляемый coq
Загрузка libwhy-coq
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| all | 34,5 Кб | 110 Кб | [список файлов] |