The Coq mailing list

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

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