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. P
    palmskog@gmail.com

Sources

v8.9.0.tar.gz
sha256=ed779cf0b395e003591bb828d11e170321ee4ecfbba8566c4a04f661d0378fb7

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-05-19

Published: 20 May 2019

Dependencies (2)

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

Dev Dependencies

None

Used by (1)

  1. coq-coinductive-reals = "8.9.0"

Conflicts

None