все параметры
[  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: coq-corn  ]

Пакет: libcoq-corn (8.16.0-2 и другие)

Ссылки для libcoq-corn

Screenshot

Ресурсы Debian:

Исходный код coq-corn:

Сопровождающие:

Внешние ресурсы:

Подобные пакеты:

Coq Constructive Repository at Nijmegen

This library provides different theories for Coq: 

 - an algebraic hierarchy with an axiomatic formalization
of the most common algebraic structures, like setoids, monoids, groups, rings, fields, ordered fields, rings of polynomials and real and complex numbers; 
 - a construction of the real numbers satisfying the above
axiomatic description; 
 - a proof of the fundamental theorem of algebra;
 - a collection of elementary results on real analysis
 including continuity, differentiability, integration,
 Taylor's theorems and the fundamental theorem of calculus;
 - tools for exact real computations like real numbers,
 functions, integrals, graph of functions and differential
 equations.

Coq is a proof assistant for higher-order logic.

Другие пакеты, относящиеся к libcoq-corn

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libcoq-corn

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
amd64 8.16.0-2+b1 11 056,4 Кб60 490,0 Кб [список файлов]
arm64 8.16.0-2+b1 11 054,4 Кб60 490,0 Кб [список файлов]
armhf 8.16.0-2+b1 11 053,1 Кб60 450,0 Кб [список файлов]
i386 8.16.0-2+b1 11 053,5 Кб60 450,0 Кб [список файлов]
ppc64el 8.16.0-2+b1 11 054,0 Кб60 490,0 Кб [список файлов]
s390x 8.16.0-2+b1 11 055,9 Кб60 490,0 Кб [список файлов]