package coq-mathcomp-real-closed

  1. Overview
  2. No Docs
Mathematical Components Library on real closed fields

Install

Dune Dependency

math-comp.github.io Edit opam file Versions (11)

Authors

  1. C
    Cyril Cohen <>
  2. A
    Assia Mahboubi <>

Maintainers

  1. M
    Mathematical Components <mathcomp-dev@sympa.inria.fr>

Sources

1.0.1.tar.gz
md5=0e6cb43fccb7cfeb82f7700270d5a147

Description

Tags

keyword:real closed field keyword:small scale reflection keyword:mathematical components

Published: 08 Feb 2019

Dependencies (2)

  1. coq-mathcomp-field = "1.7.0"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None