package coq-qarith-stern-brocot

  1. Overview
  2. No Docs
Binary rational numbers

Install

Dune Dependency

github.com Edit opam file Versions (10)

Authors

  1. M
    Milad Niqui
  2. Y
    Yves Bertot

Maintainers

  1. H
    Hugo.Herbelin@inria.fr

Sources

v8.10.0.tar.gz
sha512=65669789d9180a71a30a77cfca83bec25e3c7915163addd8c39d07e4d3192e517ae6514bcaa7e7021b5d930aa948f7b75ad903f102b7b73f413145466b13d831

Description

Development of rational numbers as finite binary lists and defining field operations on them in two different ways: strict and lazy.

Tags

category:Mathematics/Arithmetic and Number Theory/Rational numbers category:Miscellaneous/Extracted Programs/Arithmetic keyword:rational numbers keyword:arithmetic keyword:field tactic keyword:binary lists keyword:Stern-Brocot logpath:QArithSternBrocot date:2019-12-01

Published: 09 Dec 2019

Dependencies (2)

  1. coq >= "8.7" & < "8.11~"
  2. ocaml

Dev Dependencies

None

Used by (1)

  1. coq-coinductive-reals >= "8.10.0"

Conflicts

None