The Coq mailing list

[Abhishek Anand <abhishek.anand.iitg AT gmail.com>]

I was informed that this Coq development is owned by the company MLState and the Coq code was never publicly released. 

The 2nd author is the CEO of the company. I contacted him via email, but never heard back.

Does anyone know about an alternative verified parser, preferably written in Coq?

Thanks,

-- Abhishek

On Thu, Jun 19, 2014 at 5:37 PM, Abhishek Anand <abhishek.anand.iitg AT gmail.com> wrote:

Hi,

Does anyone know whether Coq development described in the following paper is still 

available somewhere:

Adam Koprowski, Henri Binsztok.

TRX: A Formally Verified Parser Interpreter. 

http://link.springer.com/chapter/10.1007%2F978-3-642-11957-6_19

(I already contacted the authors, but didn't hear back yet)

Thanks,

-- Abhishek