[ ソース: ott ]
パッケージ: libcoq-ott (0.32+ds-3 など)
Ott tool (Coq plugin)
Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition.
Coq is a proof assistant for higher-order logic.
This package provides the Coq plugin itself.
その他の libcoq-ott 関連パッケージ
|
|
|
|
-
- dep: libcoq-stdlib-bj4w1
- 以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib