alle opties
[  bookworm  ] [  trixie  ] [  sid  ]
[ Bron: coq-stdpp  ]

Pakket: libcoq-stdpp (1.10.0-1)

Verwijzigingen voor libcoq-stdpp

Screenshot

Debian bronnen:

Het bronpakket coq-stdpp downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

Extended standard library for Coq

This package provides an extended standard library for Coq, for instance: 

 - a great number of definitions and lemmas for common data
structures like lists, finite maps and finite multisets ; 
 - type classes for common properties like decidable equality,
finiteness or countability ; 
 - various tactics for common tasks ;
all of this dependency-free and axiom-free.

Coq is a proof assistant for higher-order logic.

Andere aan libcoq-stdpp gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libcoq-stdpp downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 4.615,5 kB17.789,0 kB [overzicht]