coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq on Android?

From: Nicolas Pelletier <nicolas.pelletier3 AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq on Android?
Date: Thu, 26 Oct 2017 12:54:34 +0900
Authentication-results: mail2-smtp-roc.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-vk0-f43.google.com
Ironport-phdr: 9a23:/vd9YR+hXWcHBP9uRHKM819IXTAuvvDOBiVQ1KB+1eMcTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS46tL2HV93a19HsZHgj1HQtzPOX8XIDI3Oqt0OXn3ZzYZAFBn3KFbLd2IQm3oB+Z4s8XioxmI7130hbNpnZUeulMnktnIFuSm1D34cLmr80ryDhZp/90r50Iaq79ZaltFbE=

Congratulations for all the work you are doing on this, Kyle. I am following these steps now; hopefully using Coq on my device is now only hours away!

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