flocq

Описание:Formalization of floating-point arithmetic for the Coq proof assistant
Лицензия: LGPL-3
Домашняя страница:http://flocq.gforge.inria.fr/ https://gitlab.inria.fr/flocq/flocq/
Расположение:Portage
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
4.1.1 diff - ~ - - - - - - - - - - ~
4.1.0-r1 - ~ - - - - - - - - - - ~

Экспортировать в Atom

Спасибо!