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+b4 12 054,8 KiB61 127,0 KiB [lista plików]
arm64 2.5.0-1.1+b4 12 522,4 KiB65 001,0 KiB [lista plików]
ppc64el 2.5.0-1.1+b4 12 153,7 KiB63 704,0 KiB [lista plików]
riscv64 2.5.0-1.1+b4 12 694,8 KiB68 216,0 KiB [lista plików]
s390x 2.5.0-1.1+b4 12 116,3 KiB63 304,0 KiB [lista plików]