The Coq mailing list

[Pierre Courtieu <pierre.courtieu AT gmail.com>]

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