Pakiet: libcoq-equations (1.3-8.18-1)

[ Pakiet źródłowy: coq-equations  ]

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.

Inne pakiety związane z libcoq-equations

• dep: libcoq-hott-3vr75 [arm64]

  pakiet wirtualny udostępniany przez libcoq-hott

• dep: libcoq-hott-dj1y7 [armhf]

  pakiet wirtualny udostępniany przez libcoq-hott

• dep: libcoq-hott-r16i1 [ppc64el]

  pakiet wirtualny udostępniany przez libcoq-hott

• dep: libcoq-hott-r5jz9 [i386]

  pakiet wirtualny udostępniany przez libcoq-hott

• dep: libcoq-hott-uq985 [amd64]

  pakiet wirtualny udostępniany przez libcoq-hott

• dep: libcoq-hott-wu8b1 [s390x]

  pakiet wirtualny udostępniany przez libcoq-hott

• dep: libcoq-stdlib-4ny94 [armhf]

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-6gs52 [amd64]

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-77cs8 [arm64]

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-b6j36 [ppc64el]

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-onxh8 [i386]

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-xmpq7 [s390x]

  pakiet wirtualny udostępniany przez libcoq-stdlib

Pobieranie libcoq-equations

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1 363,4 KiB	8 867,0 KiB	[lista plików]
arm64	1 384,9 KiB	9 395,0 KiB	[lista plików]
armhf	1 346,1 KiB	7 712,0 KiB	[lista plików]
i386	1 306,1 KiB	8 242,0 KiB	[lista plików]
ppc64el	1 366,8 KiB	9 267,0 KiB	[lista plików]
s390x	1 371,5 KiB	9 203,0 KiB	[lista plików]