tüm seçenekler
bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: flocq  ]

Paket: libcoq-flocq (4.1.4-2 ve diğerleri)

libcoq-flocq için bağlantılar

Screenshot

Debian Kaynakları:

flocq Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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 ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libcoq-flocq indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
arm64 4.1.4-2+b2 3.375,6 kB10.270,0 kB [dosya listesi]