[ bianca ]

[ Kaynak: coq-unimath ]

Paket: libcoq-unimath (20240923-2 ve diğerleri)

libcoq-unimath için bağlantılar

eLxr Yama Takipçisi

coq-unimath Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

Benzer paketler:

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.

libcoq-unimath ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libcoq-stdlib-1ns11 [arm64]

sanal paketi sağlayan libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

sanal paketi sağlayan libcoq-stdlib

libcoq-unimath indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	20240923-2+b4	50.653,2 kB	262.822,0 kB	[dosya listesi]
arm64	20240923-2+b4	50.654,6 kB	262.822,0 kB	[dosya listesi]