всички настройки
bookworm  ] [  sid  ]
[ Източник: flocq  ]

Пакет: libcoq-flocq (4.1.0-3)

Връзки за libcoq-flocq

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник flocq.

Отговорници:

Външни препратки:

Подобни пакети:

Floating-point arithmetic for Coq

Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations.

Coq is a proof assistant for higher-order logic.

Други пакети, свързани с libcoq-flocq

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на libcoq-flocq

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 3 229,8 кБ9 834,0 кБ [списък на файловете]
arm64 3 229,9 кБ9 834,0 кБ [списък на файловете]
armhf 3 229,5 кБ9 829,0 кБ [списък на файловете]
i386 3 230,1 кБ9 829,0 кБ [списък на файловете]
ppc64el 3 230,0 кБ9 834,0 кБ [списък на файловете]
s390x 3 229,7 кБ9 834,0 кБ [списък на файловете]