[ Bron: coq-equations ]
Pakket: libcoq-equations (1.3-8.18-1)
Verwijzigingen voor libcoq-equations
Debian bronnen:
Het bronpakket coq-equations downloaden:
- [coq-equations_1.3-8.18-1.dsc]
- [coq-equations_1.3-8.18.orig.tar.gz]
- [coq-equations_1.3-8.18-1.debian.tar.xz]
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
|
|
|
|
-
- dep: libcoq-hott-3vr75 [arm64]
- virtueel pakket geboden door libcoq-hott
-
- dep: libcoq-hott-dj1y7 [armhf]
- virtueel pakket geboden door libcoq-hott
-
- dep: libcoq-hott-r16i1 [ppc64el]
- virtueel pakket geboden door libcoq-hott
-
- dep: libcoq-hott-r5jz9 [i386]
- virtueel pakket geboden door libcoq-hott
-
- dep: libcoq-hott-uq985 [amd64]
- virtueel pakket geboden door libcoq-hott
-
- dep: libcoq-hott-wu8b1 [s390x]
- virtueel pakket geboden door libcoq-hott
-
- dep: libcoq-stdlib-4ny94 [armhf]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-6gs52 [amd64]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-77cs8 [arm64]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-b6j36 [ppc64el]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-onxh8 [i386]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-xmpq7 [s390x]
- virtueel pakket geboden door libcoq-stdlib
libcoq-equations downloaden
Platform | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
---|---|---|---|
amd64 | 1.363,4 kB | 8.867,0 kB | [overzicht] |
arm64 | 1.384,9 kB | 9.395,0 kB | [overzicht] |
armhf | 1.346,1 kB | 7.712,0 kB | [overzicht] |
i386 | 1.306,1 kB | 8.242,0 kB | [overzicht] |
ppc64el | 1.366,8 kB | 9.267,0 kB | [overzicht] |
s390x | 1.371,5 kB | 9.203,0 kB | [overzicht] |