all options
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Source: coq-elpi  ]

Package: libcoq-elpi (2.5.0-1.1 and others)

Links for libcoq-elpi

Screenshot

Debian Resources:

Download Source Package coq-elpi:

Maintainers:

External Resources:

Similar packages:

Coq plugin embedding Elpi

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.

Other Packages Related to libcoq-elpi

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-elpi

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 2.5.0-1.1+b1 12,025.5 kB61,049.0 kB [list of files]
arm64 2.5.0-1.1+b1 12,485.3 kB64,907.0 kB [list of files]
ppc64el 2.5.0-1.1+b1 12,137.4 kB63,610.0 kB [list of files]
riscv64 2.5.0-1.1+b1 12,672.5 kB68,122.0 kB [list of files]
s390x 2.5.0-1.1+b1 12,080.0 kB63,214.0 kB [list of files]