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

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

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

Screenshot

Исходный код 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.20.0-1+b4 13 029,6 Кб59 076,0 Кб [список файлов]
arm64 8.20.0-1+b4 13 028,8 Кб59 076,0 Кб [список файлов]