2 search results for "tag:"date: 2007-04""

Showing 1 - 2
  1. coq-amm11262

    No documentation

    Problem 11262 of The American Mathematical Monthly
    keyword: american mathematical monthly problem 11262 date: 2007-04
    Milad Niqui (Coq files) <milad@cs.ru.nl> [http://www.cs.ru.nl/~milad] Tonny Hurkens (paper proof) <hurkens@sci.kun.nl>
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  2. 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