1 search result for "tag:"keyword: american mathematical monthly problem 11262""

Showing 1 - 1
  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