Alle Optionen
bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: coq-hammer  ]

Paket: libcoq-hammer (1.3.2+8.16-2 und andere)

Links für libcoq-hammer

Screenshot

Debian-Ressourcen:

Quellcode-Paket coq-hammer herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

automated reasoning tool for Coq

Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof.

Coq is a proof assistant for higher-order logic.

Andere Pakete mit Bezug zu libcoq-hammer

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

libcoq-hammer herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
amd64 1.3.2+8.16-2+b1 491,6 kB3.628,0 kB [Liste der Dateien]
arm64 1.3.2+8.16-2+b1 518,6 kB4.304,0 kB [Liste der Dateien]
armhf 1.3.2+8.16-2+b1 481,6 kB2.818,0 kB [Liste der Dateien]
i386 1.3.2+8.16-2+b1 471,6 kB3.196,0 kB [Liste der Dateien]
ppc64el 1.3.2+8.16-2+b1 506,6 kB4.046,0 kB [Liste der Dateien]
s390x 1.3.2+8.16-2+b1 493,7 kB3.818,0 kB [Liste der Dateien]