flocq

flocq

Formalization of floating point numbers for Coq

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

Для openSUSE Leap 16.0 нет официального пакета

Дистрибутивы

openSUSE Tumbleweed

официальный выпуск Официальные
4.2.0
Expert Download

science Экспериментальный
4.2.0
Установка в 1 клик Expert Download

openSUSE Leap 15.6

science Экспериментальный
4.2.0
Установка в 1 клик Expert Download

openSUSE Leap 15.5

SLFO 1.2

science Экспериментальный
4.2.0
Установка в 1 клик Expert Download

openSUSE Backports for SLE 15 SP7

science Экспериментальный
4.2.0
Установка в 1 клик Expert Download

openSUSE Backports for SLE 15 SP4

Неподдерживаемые дистрибутивы

Следующие дистрибутивы не имеют официальной поддержки. Используйте их пакеты на свой страх и риск.