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: Wed, 18 Oct 2017 13:18:41 +0900
Authentication-results: mail3-smtp-sop.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-f51.google.com
Ironport-phdr: 9a23:ZVDgMxxakG+IvXbXCy+O+j09IxM/srCxBDY+r6Qd0uwfIJqq85mqBkHD//Il1AaPBtqLra8cw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2NBXupSi56idXERHiPyJ0IP70E8jclZeZzee3rrvSaAJMjSH1Wb52KBiqrAjL/p0QgIBlLq8qjAPEpn9FZ+Vb3zhAKleanhK67cC1qs0wux9Msu4sopYTGZ7xeL41GORV

In my case, it is a wish to make good use of (longish) commute times and crowded trains. Reading books or papers is good, but I also need a way to try things out or test some idea. My job is not related to Coq or proof assistants; this is purely for my private use and enjoyment.

Regards,

-- Nicolas

[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
  - 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