Skip to content
Sections
>> Trisquel >> パッケージ >> aramo >> ocaml >> libcoq-elpi-ocaml
[  aramo  ]
[ ソース: coq-elpi  ]

パッケージ: libcoq-elpi-ocaml (1.13.0-1)

Coq plugin embedding Elpi (runtime)

This package makes it possible to define new commands and tactics for Coq in Elpi.

Elpi implements a lambda-Prolog interpreter enriched with constraint handling rules.

Coq is a proof assistant for higher-order logic.

This package provides runtime libraries for the elpi plugin.

その他の libcoq-elpi-ocaml 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • dep: coq-8.15.0+4.13.1
    以下のパッケージによって提供される仮想パッケージです: coq
  • dep: libcoq-ocaml
    パッケージは利用できません

libcoq-elpi-ocaml のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 4,869.1 kB18268 kB [ファイル一覧]
arm64 5,119.3 kB19177 kB [ファイル一覧]
armhf 4,869.6 kB17025 kB [ファイル一覧]
ppc64el 4,947.8 kB18679 kB [ファイル一覧]