coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Pierre Courtieu <pierre.courtieu AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] Coq on Android?
- Date: Tue, 17 Oct 2017 11:16:07 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pierre.courtieu AT gmail.com; spf=Pass smtp.mailfrom=pierre.courtieu AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f67.google.com
- Ironport-phdr: 9a23:L6CkYBZcHsZN5ycUqCpfT73/LSx+4OfEezUN459isYplN5qZpsW9bnLW6fgltlLVR4KTs6sC0LWG9f24EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i76xXcoFx7+LQt4IPjuUs6X1pzvlrP6x5qGSAJRzBG5fLk6eB6xtEDastQcqYpkMKc4jBXT9ChmYeNTkFtpKEiJkl7X4dqq4J9u7mwEo/Ms7dRNF679Yr4kTLFFJDsjOmExosbssE+QHkO0+nIAXzBOwVJzCA/f4US/B8+pvw==
Yeah, and how do you use it? Does coqide work well on android?
Multi-touch screens is certainly something we want to try for
human/proof-assistant interactions.
P.
2017-10-17 7:25 GMT+02:00 Daniel Galvez
<dt.galvez AT gmail.com>:
> It's been a long time since I've done any serious work in Coq, but curiosity
> brings me out of the depths of lurking on this mailing list.
>
> I'm surprised no one has asked yet: what has motivated more than a few of
> you to want to install coq on android?
>
> Sincerely,
> Daniel
>
> On Mon, Oct 16, 2017 at 9:58 PM, Nicolas Pelletier
> <nicolas.pelletier3 AT gmail.com>
> wrote:
>>
>> Thank you for these links. I could very well need the kind of patch
>> discussed in the PR, but for Coq. I am not familiar enough with the ARM ABI
>> to know which parts of it are necessary for 64bits; but this is worth
>> investigating further.
>>
>> As for getting OCaml and opam to work, I didn't need anything beyond the
>> termux patches and fixing a few pathes... so 64bits work better than 32bits
>> in this case.
>>
>> Regards,
>>
>> -- Nicolas
>
>
>
>
> --
> Daniel Galvez
- [Coq-Club] Coq on Android?, Nicolas Pelletier, 10/16/2017
- Re: [Coq-Club] Coq on Android?, Abhishek Anand, 10/16/2017
- Message not available
- Re: [Coq-Club] Coq on Android?, Kyle Stemen, 10/16/2017
- Message not available
- Re: [Coq-Club] Coq on Android?, Nicolas Pelletier, 10/17/2017
- Re: [Coq-Club] Coq on Android?, Daniel Galvez, 10/17/2017
- Re: [Coq-Club] Coq on Android?, Pierre Courtieu, 10/17/2017
- Re: [Coq-Club] Coq on Android?, Vadim Zaliva, 10/17/2017
- Re: [Coq-Club] Coq on Android?, Abhishek Anand, 10/18/2017
- Re: [Coq-Club] Coq on Android?, Pierre Courtieu, 10/18/2017
- Re: [Coq-Club] Coq on Android?, Abhishek Anand, 10/19/2017
- Re: [Coq-Club] Coq on Android?, Pierre Courtieu, 10/18/2017
- Re: [Coq-Club] Coq on Android?, Nicolas Pelletier, 10/18/2017
- Re: [Coq-Club] Coq on Android?, Laurent Thery, 10/18/2017
- Re: [Coq-Club] Coq on Android?, Pierre Courtieu, 10/17/2017
- Re: [Coq-Club] Coq on Android?, Daniel Galvez, 10/17/2017
- Re: [Coq-Club] Coq on Android?, Abhishek Anand, 10/16/2017
- Message not available
- Re: [Coq-Club] Coq on Android?, Kyle Stemen, 10/16/2017
- Re: [Coq-Club] Coq on Android?, Nicolas Pelletier, 10/18/2017
- Re: [Coq-Club] Coq on Android?, Kyle Stemen, 10/16/2017
- Re: [Coq-Club] Coq on Android?, Kyle Stemen, 10/25/2017
- Re: [Coq-Club] Coq on Android?, Nicolas Pelletier, 10/26/2017
Archive powered by MHonArc 2.6.18.