Пакет: 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 кБ | [списък на файловете] |