Paquet : libcoq-unimath (20231010-1 et autres)

[ Paquet source : coq-unimath  ]

univalent formalization of mathematics for Coq

This package provides a library to formalize a substantial body of mathematics using the univalent point of view.

Coq is a proof assistant for higher-order logic.

Autres paquets associés à libcoq-unimath

• dep: libcoq-stdlib-84f80 [amd64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-8u5j8 [armhf]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-97v84 [arm64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-l2kk4 [riscv64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-n0k10 [ppc64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-nhhu6 [ppc64el]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-tp8b6 [i386]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-wsmp7 [s390x]

  paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-unimath

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

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	20231010-1+b1	41 943,7 ko	403 486,0 ko	[liste des fichiers]
arm64	20231010-1+b1	41 945,4 ko	403 486,0 ko	[liste des fichiers]
armhf	20231010-1+b1	41 942,2 ko	403 472,0 ko	[liste des fichiers]
i386	20231010-1+b1	41 945,6 ko	403 472,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	20230420-4+b1	51 083,7 ko	438 918,0 ko	[liste des fichiers]
ppc64el	20231010-1+b1	41 945,8 ko	403 486,0 ko	[liste des fichiers]
riscv64	20231010-1+b1	41 944,5 ko	403 486,0 ko	[liste des fichiers]
s390x	20231010-1+b1	41 946,1 ko	403 486,0 ko	[liste des fichiers]