wszystkie opcje
bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: coq-corn  ]

Pakiet: libcoq-corn (8.16.0-2 i inne)

Odnośniki dla libcoq-corn

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq-corn:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z libcoq-corn

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libcoq-corn

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
armhf 8.16.0-2+b1 11 053,1 KiB60 450,0 KiB [lista plików]