все параметры
bookworm  ] [  trixie  ] [  sid  ]
[ Источник: flocq  ]

Пакет: libcoq-flocq (4.1.4-2 и другие)

Ссылки для 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

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
arm64 4.1.4-2+b2 3 375,6 Кб10 270,0 Кб [список файлов]