The Coq mailing list

[Amy Felty <afelty AT eecs.uOttawa.ca>]

I have implemented FPCC in Coq.as part of the work for this paper: 
http://www.site.uottawa.ca/~afelty/dist/fi07.pdf.  The Coq scripts are 
not available electronically, but I can make them available if that is 
what you are looking for.

Regards,
Amy Felty

On 24/04/2013 6:35 AM, Bai Wei wrote:
> Hi. I want to implement Foundatinal proof carrying code (FPCC) 
> paradigm. Does Coq proof checker can be used as a proof checker in 
> FPCC? Many Thanks!
>
> Cheers,
>
> Wei Bai