The Coq mailing list

[G�rard Huet <Gerard.Huet AT inria.fr>]

Le 10 févr. 06 à 10:41, Yves Bertot a écrit :
> Does anyone have a quick answer in the direction of 1 or 2?  Does  
> anyone
> know that we don't know?
>
> Yves

Copernicus said:
"To know that we know what we know, and to know that we do not know  
what we do not know, that is true knowledge."
Gérard