all options
bookworm  ] [  trixie  ] [  sid  ]
[ Source: coq  ]

Package: libcoq-stdlib (8.16.1+dfsg-1 and others)

Links for libcoq-stdlib

Screenshot

Debian Resources:

Download Source Package coq:

Maintainers:

External Resources:

Similar packages:

assistente alle dimostrazioni per logiche di ordine superiore (teorie)

Coq è un assistente alle dimostrazioni per logiche di ordine superiore che permette lo sviluppo di programmi per computer coerenti con la loro specifica formale. È sviluppato con Objective Caml e Camlp5.

Questo pacchetto fornisce le teorie esistenti sulle quali le nuove dimostrazioni si possono basare, incluse le teorie dell'aritmetica e i valori booleani.

Other Packages Related to libcoq-stdlib

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-stdlib

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 8.16.1+dfsg-1+b2 21,021.5 kB139,787.0 kB [list of files]
arm64 8.16.1+dfsg-1+b2 21,023.5 kB139,787.0 kB [list of files]
armhf 8.16.1+dfsg-1+b2 21,023.1 kB139,751.0 kB [list of files]
i386 8.16.1+dfsg-1+b2 21,023.9 kB139,751.0 kB [list of files]
ppc64el 8.16.1+dfsg-1+b2 21,023.6 kB139,787.0 kB [list of files]
s390x 8.16.1+dfsg-1+b2 21,024.6 kB139,787.0 kB [list of files]