The Coq mailing list

[David MENTRE <dmentre AT linux-france.org>]

Le 23/05/2014 16:43, Adam Chlipala a écrit :
> And how is a random person meant to learn more about the details?

It is difficult. It is not usual habit for companies to talk about their 
practices (and nowadays everything is "confidential" in a company).

> If I
> spent a little time poking around their web sites, would I get a good
> sense?

Probably not, for above reasons.

Most of the time I found those kind of information through direct 
discussion or through a few lines in a slide.

For Trusted Labs, you'll find some basic information by googling 
"trusted labs coq" or "trusted logic coq". But probably not detailed 
enough for an advanced user like you.

Sincerely yours,
david