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