[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Bron: coq-equations ]

Pakket: libcoq-equations (1.3-8.16-2 en anderen)

Verwijzigingen voor libcoq-equations

Debian bronnen:

Het bronpakket coq-equations downloaden:

Beheerders:

Externe bronnen:

Homepage [github.com]

Vergelijkbare pakketten:

Coq library to work with functions defined by equations

This library provides a notation to write programs using dependent pattern-matching and well-founded recursion in Coq.

Coq is a proof assistant for higher-order logic.

Andere aan libcoq-equations gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libcoq-hott-3ib92 [arm64]

virtueel pakket geboden door libcoq-hott
dep: libcoq-hott-40h87 [s390x]

virtueel pakket geboden door libcoq-hott
dep: libcoq-hott-5w7w7 [i386]

virtueel pakket geboden door libcoq-hott
dep: libcoq-hott-lbh46 [amd64]

virtueel pakket geboden door libcoq-hott
dep: libcoq-hott-ut573 [armhf]

virtueel pakket geboden door libcoq-hott
dep: libcoq-hott-y9xa0 [ppc64el]

virtueel pakket geboden door libcoq-hott
dep: libcoq-stdlib-bj4w1 [i386]

virtueel pakket geboden door libcoq-stdlib
dep: libcoq-stdlib-ctiy2 [arm64]

virtueel pakket geboden door libcoq-stdlib
dep: libcoq-stdlib-ewsr6 [amd64]

virtueel pakket geboden door libcoq-stdlib
dep: libcoq-stdlib-ig513 [ppc64el]

virtueel pakket geboden door libcoq-stdlib
dep: libcoq-stdlib-ntv04 [s390x]

virtueel pakket geboden door libcoq-stdlib
dep: libcoq-stdlib-u2uh4 [armhf]

virtueel pakket geboden door libcoq-stdlib

libcoq-equations downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	1.3-8.16-2+b1	1.388,5 kB	8.904,0 kB	[overzicht]
arm64	1.3-8.16-2+b1	1.412,1 kB	9.480,0 kB	[overzicht]
armhf	1.3-8.16-2+b1	1.373,1 kB	7.769,0 kB	[overzicht]
i386	1.3-8.16-2+b1	1.332,7 kB	8.289,0 kB	[overzicht]
ppc64el	1.3-8.16-2+b1	1.396,5 kB	9.352,0 kB	[overzicht]
s390x	1.3-8.16-2+b1	1.402,4 kB	9.258,0 kB	[overzicht]