coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq for android

From: Laurent Théry <Laurent.Thery AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq for android
Date: Fri, 04 Jul 2014 01:02:54 +0200

Hi,

I've seen that there was an ocaml toplevel for android but nothing for
coq. Is there any project around that is trying to build something?

--
Laurent

[Coq-Club] Recommended order to read Coq sources, Richard Ford, 07/04/2014
- Re: [Coq-Club] Recommended order to read Coq sources, Pierre-Marie Pédrot, 07/04/2014
  - Re: [Coq-Club] Recommended order to read Coq sources, Richard Ford, 07/04/2014
    - [Coq-Club] Coq for android, Laurent Théry, 07/04/2014
    - Re: [Coq-Club] Recommended order to read Coq sources, Christine Sherif Rizkallah, 07/04/2014
  - Re: [Coq-Club] Recommended order to read Coq sources, Jason Gross, 07/04/2014