all options
wheezy  ] [  jessie  ] [  sid  ]
[ Source: coq-float  ]

Пакунок: libfloat-coq (1:8.3pl1-4)

Links for libfloat-coq


Debian Resources:

Download Source Package coq-float:


External Resources:

Similar packages:

Coq library on floating-point arithmetic

This package provides PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats), a library for reasoning about floating-point arithmetic in Coq. It contains both definitions and proofs of basic facts, old & new properties and algorithms.

Tags: Software Development: Бібліотеки, Implemented in: Need an extra tag, Role: Development Library

Інші пакунки пов'язані з libfloat-coq

  • depends
  • recommends
  • suggests
  • enhances

Завантажити libfloat-coq

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
all 16,247.2 kB72,222.0 kB [список файлів]