coq-amm11262

Problem 11262 of The American Mathematical Monthly. Formalisation of Tonny Hurkens' proof of the problem 11262 of The American Mathematical Monthly 113(10), Dec. 2006 (see the README files)

opam install coq-amm11262.8.5.0
homepage
https://github.com/coq-contribs/amm11262
license
LGPL
bugs tracker
https://github.com/coq-contribs/amm11262/issues
dependencies
coq (>= 8.5 & < 8.6~)
source
https://github.com/coq-contribs/amm11262/archive/v8.5.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-amm11262/coq-amm11262.8.5.0