[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Bron: coq-unimath ]

Pakket: libcoq-unimath (20220816-2 en anderen)

Verwijzigingen voor libcoq-unimath

Debian bronnen:

Het bronpakket coq-unimath downloaden:

Beheerders:

Externe bronnen:

Homepage [github.com]

Vergelijkbare pakketten:

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.

Andere aan libcoq-unimath gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libcoq-stdlib-bj4w1 [i386]

virtueel pakket geboden door libcoq-stdlib
dep: libcoq-stdlib-ctiy2 [arm64]

virtueel pakket geboden door libcoq-stdlib
dep: libcoq-stdlib-ewsr6 [amd64]

virtueel pakket geboden door libcoq-stdlib
dep: libcoq-stdlib-ig513 [ppc64el]

virtueel pakket geboden door libcoq-stdlib
dep: libcoq-stdlib-ntv04 [s390x]

virtueel pakket geboden door libcoq-stdlib
dep: libcoq-stdlib-u2uh4 [armhf]

virtueel pakket geboden door libcoq-stdlib

libcoq-unimath downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	20220816-2+b1	39.846,8 kB	358.345,0 kB	[overzicht]
arm64	20220816-2+b1	39.803,4 kB	358.345,0 kB	[overzicht]
armhf	20220816-2+b1	39.826,9 kB	358.332,0 kB	[overzicht]
i386	20220816-2+b1	39.948,8 kB	358.332,0 kB	[overzicht]
ppc64el	20220816-2+b1	39.829,5 kB	358.345,0 kB	[overzicht]
s390x	20220816-2+b1	39.838,2 kB	358.345,0 kB	[overzicht]