Paket: libcoq-mathcomp-real-closed (2.0.2-1 och andra)

Länkar för libcoq-mathcomp-real-closed

eLxr Patch Tracker

Hämta källkodspaketet mathcomp-real-closed:

Ansvariga:

Externa resurser:

Hemsida [github.com]

Liknande paket:

Real closed fields for Mathematical Components

This library contains definitions and theorems about real closed fields for Mathematical Components. It includes a construction of the real and algebraic closure (with a proof of the fundamental theorem of algebra). The decidability of the first order theory of real closed field, through quantifier elimination is also established.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

Andra paket besläktade med libcoq-mathcomp-real-closed

beror

rekommenderar

föreslår

enhances

dep: libcoq-mathcomp-algebra-7yl00 [arm64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-ausx4 [amd64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-algebra
dep: libcoq-mathcomp-bigenough-06xl3 [amd64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-bigenough-j2g53 [arm64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-field-m4508 [arm64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-field
dep: libcoq-mathcomp-field-opte0 [amd64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-field
dep: libcoq-mathcomp-ssreflect-08jv4 [amd64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ga8c0 [arm64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect

sug: ocaml-findlib

management tool for OCaml libraries

Hämta libcoq-mathcomp-real-closed

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	2.0.2-1+b7	2.521,7 kbyte	10.325,0 kbyte	[filförteckning]
arm64	2.0.2-1+b7	2.521,1 kbyte	10.325,0 kbyte	[filförteckning]