Artifact libcoq-mathcomp-real-closed_2.0.0-3+b5_amd64

Metadata
deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: libcoq-mathcomp-algebra-j56u2, libcoq-mathcomp-bigenough-fgvh1, libcoq-mathcomp-field-p00u6,
    libcoq-mathcomp-ssreflect-a0z52
  Description: |-
    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.
  Homepage: https://github.com/math-comp/real-closed
  Installed-Size: '10261'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libcoq-mathcomp-real-closed
  Priority: optional
  Provides: libcoq-mathcomp-real-closed-qkem0
  Section: ocaml
  Source: mathcomp-real-closed (2.0.0-3)
  Suggests: ocaml-findlib
  Version: 2.0.0-3+b5
srcpkg_name: mathcomp-real-closed
srcpkg_version: 2.0.0-3

File

libcoq-mathcomp-real-closed_2.0.0-3+b5_amd64.deb
File too big (2.4 MB > 2.0 MB): you can view it raw or download it instead.

Relations

Relation Direction Type Name
built-using Source package mathcomp-real-closed_2.0.0-3

BETA