[ bianca ]

[ Kaynak: coq-hott ]

Paket: libcoq-hott (9.0-1 ve diğerleri)

libcoq-hott için bağlantılar

eLxr Yama Takipçisi

coq-hott Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

Benzer paketler:

Coq library for homotopy type theory

This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence.

Coq is a proof assistant for higher-order logic.

libcoq-hott 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-hott indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	9.0-1+b2	14.346,9 kB	62.774,0 kB	[dosya listesi]
arm64	9.0-1+b2	14.345,3 kB	62.774,0 kB	[dosya listesi]