Alle Optionen
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Quellcode: coq-elpi  ]

Paket: libcoq-elpi (2.5.0-1.1 und andere)

Links für libcoq-elpi

Screenshot

Debian-Ressourcen:

Quellcode-Paket coq-elpi herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu libcoq-elpi

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libcoq-elpi herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
amd64 2.5.0-1.1+b1 12.025,5 kB61.049,0 kB [Liste der Dateien]
arm64 2.5.0-1.1+b1 12.485,3 kB64.907,0 kB [Liste der Dateien]
ppc64el 2.5.0-1.1+b1 12.137,4 kB63.610,0 kB [Liste der Dateien]
riscv64 2.5.0-1.1+b1 12.672,5 kB68.122,0 kB [Liste der Dateien]
s390x 2.5.0-1.1+b1 12.080,0 kB63.214,0 kB [Liste der Dateien]