[ 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.