wszystkie opcje
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Pakiet źródłowy: coq-elpi  ]

Pakiet: libcoq-elpi (2.5.0-1.1 i inne)

Odnośniki dla libcoq-elpi

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq-elpi:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z libcoq-elpi

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libcoq-elpi

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 2.5.0-1.1+b1 12 025,5 KiB61 049,0 KiB [lista plików]
arm64 2.5.0-1.1+b1 12 485,3 KiB64 907,0 KiB [lista plików]
ppc64el 2.5.0-1.1+b1 12 137,4 KiB63 610,0 KiB [lista plików]
riscv64 2.5.0-1.1+b1 12 672,5 KiB68 122,0 KiB [lista plików]
s390x 2.5.0-1.1+b1 12 080,0 KiB63 214,0 KiB [lista plików]