The Coq mailing list

[Vadim Zaliva <vzaliva AT cmu.edu>]

I am, personally, interested in trying Coq development at Samsung DeX Station http://www.samsung.com/global/galaxy/apps/samsung-dex/ .

--

CMU ECE PhD candidate

Mobile/WhatsApp: +1(510)220-1060

On Tue, Oct 17, 2017 at 2:16 AM, Pierre Courtieu <pierre.courtieu AT gmail.com> wrote:

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