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.13.0.tar.gz
sha512=aa7c783c05b8a1ea70c4949f6b370768fe38968ac89b03a1b62875f86a521256d162009d9a9e724d2577bb69ba9533ce2be94ed6100ac5f711d8481da70b417b

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:2021-08-03

Published: 03 Aug 2021

Dependencies (1)

  1. coq >= "8.12" & < "8.14~"

Dev Dependencies

None

Used by

None

Conflicts

None