coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq on Android?

From: Laurent Thery <Laurent.Thery AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq on Android?
Date: Wed, 18 Oct 2017 10:55:17 +0200

On 10/17/2017 07:25 AM, Daniel Galvez wrote:
> I'm surprised no one has asked yet: what has motivated more than a few
> of you to want to install coq on android?
>

Why not. Our motto should be "Prove once, use everywhere".

--
Laurent

Re: [Coq-Club] Coq on Android?, (continued)
- 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/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?, Nicolas Pelletier, 10/18/2017
      - Re: [Coq-Club] Coq on Android?, Laurent Thery, 10/18/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/25/2017
  - Re: [Coq-Club] Coq on Android?, Nicolas Pelletier, 10/26/2017