Alle Optionen
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Quellcode: coq-float  ]

Paket: libfloat-coq (1:8.2-1.2-5)

Links für libfloat-coq

Screenshot

Debian-Ressourcen:

Quellcode-Paket coq-float herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu libfloat-coq

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances

libfloat-coq herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 10.471,1 kB37.308,0 kB [Liste der Dateien]