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

[ Paquet source : 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.

Autres paquets associés à libcoq-equations

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

  paquet virtuel fourni par libcoq-hott

• dep: libcoq-hott-dj1y7 [armhf]

  paquet virtuel fourni par libcoq-hott

• dep: libcoq-hott-r16i1 [ppc64el]

  paquet virtuel fourni par libcoq-hott

• dep: libcoq-hott-r5jz9 [i386]

  paquet virtuel fourni par libcoq-hott

• dep: libcoq-hott-uq985 [amd64]

  paquet virtuel fourni par libcoq-hott

• dep: libcoq-hott-wu8b1 [s390x]

  paquet virtuel fourni par libcoq-hott

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

  paquet virtuel fourni par libcoq-stdlib

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

  paquet virtuel fourni par libcoq-stdlib

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

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-b6j36 [ppc64el]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-onxh8 [i386]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-xmpq7 [s390x]

  paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-equations

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1 363,4 ko	8 867,0 ko	[liste des fichiers]
arm64	1 384,9 ko	9 395,0 ko	[liste des fichiers]
armhf	1 346,1 ko	7 712,0 ko	[liste des fichiers]
i386	1 306,1 ko	8 242,0 ko	[liste des fichiers]
ppc64el	1 366,8 ko	9 267,0 ko	[liste des fichiers]
s390x	1 371,5 ko	9 203,0 ko	[liste des fichiers]