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

[ Bron: coq-unimath ]

Pakket: libcoq-unimath (20240923-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-1ns11 [arm64]

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

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

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

virtueel pakket geboden door libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

virtueel pakket geboden door libcoq-stdlib

libcoq-unimath downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	20240923-2+b4	50.653,2 kB	262.822,0 kB	[overzicht]
arm64	20240923-2+b4	50.654,6 kB	262.822,0 kB	[overzicht]
ppc64el	20240923-2+b4	50.657,3 kB	262.822,0 kB	[overzicht]
riscv64	20240923-2+b4	50.653,4 kB	262.822,0 kB	[overzicht]
s390x	20240923-2+b4	50.651,8 kB	262.822,0 kB	[overzicht]