Пакет: libcoq-equations (1.3-8.18-1)

[ Источник: 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.

Другие пакеты, относящиеся к libcoq-equations

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

  виртуальный пакет, предоставляемый libcoq-hott

• dep: libcoq-hott-dj1y7 [armhf]

  виртуальный пакет, предоставляемый libcoq-hott

• dep: libcoq-hott-r16i1 [ppc64el]

  виртуальный пакет, предоставляемый libcoq-hott

• dep: libcoq-hott-r5jz9 [i386]

  виртуальный пакет, предоставляемый libcoq-hott

• dep: libcoq-hott-uq985 [amd64]

  виртуальный пакет, предоставляемый libcoq-hott

• dep: libcoq-hott-wu8b1 [s390x]

  виртуальный пакет, предоставляемый libcoq-hott

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

  виртуальный пакет, предоставляемый libcoq-stdlib

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

  виртуальный пакет, предоставляемый libcoq-stdlib

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

  виртуальный пакет, предоставляемый libcoq-stdlib

• dep: libcoq-stdlib-b6j36 [ppc64el]

  виртуальный пакет, предоставляемый libcoq-stdlib

• dep: libcoq-stdlib-onxh8 [i386]

  виртуальный пакет, предоставляемый libcoq-stdlib

• dep: libcoq-stdlib-xmpq7 [s390x]

  виртуальный пакет, предоставляемый libcoq-stdlib

Загрузка libcoq-equations

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
amd64	1 363,4 Кб	8 867,0 Кб	[список файлов]
arm64	1 384,9 Кб	9 395,0 Кб	[список файлов]
armhf	1 346,1 Кб	7 712,0 Кб	[список файлов]
i386	1 306,1 Кб	8 242,0 Кб	[список файлов]
ppc64el	1 366,8 Кб	9 267,0 Кб	[список файлов]
s390x	1 371,5 Кб	9 203,0 Кб	[список файлов]