coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Nicolas Pelletier <nicolas.pelletier3 AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq on Android?
Date: Wed, 18 Oct 2017 12:59:57 +0900
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nicolas.pelletier3 AT gmail.com; spf=Pass smtp.mailfrom=nicolas.pelletier3 AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua0-f170.google.com
Ironport-phdr: 9a23:w7+ivBBsUOkvkLXqHZm6UyQJP3N1i/DPJgcQr6AfoPdwSP39rsbcNUDSrc9gkEXOFd2Crakb26yL6+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6i760TlHERLmcAFxO+7dG4jIjs3x2frh1YfUZlBuhTG6ZbppZC27qQHcqsgbm8M2LKc6zR/AuT1QduBSyH9pKEjItxn578a0upVk9nID6Loa68dcXPCiLOwDRrtCAWF+Pg==

Thank you very much for this detailed explanation :-) . I will follow your instructions and see if I can complete the installation.

Regards,

-- Nicolas

Re: [Coq-Club] Coq on Android?, (continued)
- Re: [Coq-Club] Coq on Android?, Kyle Stemen, 10/25/2017
  - Re: [Coq-Club] Coq on Android?, Nicolas Pelletier, 10/26/2017