1 search result for "tag:"keyword: exact arithmetic""

Showing 1 - 1
  1. coq-coinductive-reals

    No documentation

    Real numbers as coinductive ternary streams
    keyword: real numbers keyword: co-inductive types keyword: co-recursion keyword: exact arithmetic category: Mathematics/Arithmetic and Number Theory/Real numbers date: 2007-04-24
    Milad Niqui <milad@cs.ru.nl> [http://www.cs.ru.nl/~milad]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019