coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Kenneth Adam Miller <kennethadammiller AT gmail.com>
To: coq-club Club <coq-club AT inria.fr>
Subject: [Coq-Club] Fibonacci in Coq?
Date: Thu, 26 Oct 2017 15:44:23 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kennethadammiller AT gmail.com; spf=Pass smtp.mailfrom=kennethadammiller AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf0-f44.google.com
Ironport-phdr: 9a23:c5/eAxJOgtTyrXPcK9mcpTZWNBhigK39O0sv0rFitYgUKvTxwZ3uMQTl6Ol3ixeRBMOAtKIC1rKempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBX660e/5j8KGxj5KRE9ZqGsQtaT3IyL0LW5/ISWaAFVjnKWZa54ZEG9qhyUvc0Li6NjLLwww13HuC0bVf5RwDZLKFSVkgr8ru689Zsr1iVUv/87v5pDXKP8crg4RLBRCTEnN2Q4/uXksBDCSU2E4X5KATZeqQZBHwWQtEKyZZz2qCav87MlgCQ=

Hello,

Does anybody know of any theorems or number theoretic work done using fibonacci in Coq?

Thanks in advance!

[Coq-Club] Fibonacci in Coq?, Kenneth Adam Miller, 10/26/2017
- Re: [Coq-Club] Fibonacci in Coq?, Laurent Thery, 10/27/2017
  - Re: [Coq-Club] Fibonacci in Coq?, Kenneth Adam Miller, 10/27/2017
    - Re: [Coq-Club] Fibonacci in Coq?, Pierre Letouzey, 10/27/2017
      - Re: [Coq-Club] Fibonacci in Coq?, Kenneth Adam Miller, 10/27/2017