Paketti: libcoq-hammer (1.3.2+8.17-1 ja muut) [debports]

[ Source:  ]

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.

Muut pakettiin libcoq-hammer liittyvät paketit

• dep: libc6 (>= 2.34)

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

• dep: libcoq-stdlib-n0k10

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libgcc-s1 (>= 3.0)

  GCC:n apukirjasto

• dep: libstdc++6 (>= 13.1)

  GNU standardi C++ -kirjasto, versio 3

Imuroi libcoq-hammer

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
ppc64 (epävirallinen siirros)	1.3.2+8.17-1+b2	506.1 kt	4,423.0 kt	[tiedostoluettelo]