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.12.0.tar.gz
sha512=86e6fe06edd9a7cc9251a25ba0acf365df58ee4e384486808f83b92027299b5459082384395916f5e9798e42c3595279fb0eff76f0c58842f4fd73f7a2b7a80c

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:2020-10-10

Published: 11 Oct 2020

Dependencies (1)

  1. coq >= "8.7" & < "8.13~"

Dev Dependencies

None

Used by

None

Conflicts

None