Package: libcoq-hammer (1.3.2+8.19-1 and others)

[ Source: coq-hammer  ]

strumento per ragionamento automatico per Coq

Hammer è un strumento per aiutare nella ricerca di una dimostrazione in Coq. Cerca di trovare i lemmi applicabili e di combinarli in una vera dimostrazione.

Coq è un assistente alle dimostrazioni per logiche di ordine superiore.

Other Packages Related to libcoq-hammer

• dep: libc6 (>= 2.34)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libcoq-stdlib-4ftr7 [amd64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-5b3c9 [arm64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-6mgv9 [riscv64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-93wq5 [ppc64el]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-n0k10 [ppc64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-q1ie4 [s390x]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-rhfg4 [armhf]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-ry8i6 [i386]

  virtual package provided by libcoq-stdlib

• dep: libgcc-s1 (>= 3.0) [not armhf, riscv64]

  libreria di supporto a GCC

  dep: libgcc-s1 (>= 3.4) [riscv64]

  dep: libgcc-s1 (>= 3.5) [armhf]

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

  libreria GNU Standard C++, versione 3

Download libcoq-hammer

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	1.3.2+8.19-1	490.9 kB	3,602.0 kB	[list of files]
arm64	1.3.2+8.19-1	518.3 kB	4,294.0 kB	[list of files]
armhf	1.3.2+8.19-1	480.9 kB	2,816.0 kB	[list of files]
i386	1.3.2+8.19-1	470.9 kB	3,166.0 kB	[list of files]
ppc64 (unofficial port)	1.3.2+8.17-1+b2	506.1 kB	4,423.0 kB	[list of files]
ppc64el	1.3.2+8.19-1	506.2 kB	4,038.0 kB	[list of files]
riscv64	1.3.2+8.19-1	497.8 kB	3,642.0 kB	[list of files]
s390x	1.3.2+8.19-1	497.7 kB	3,814.0 kB	[list of files]