Ironclad C++

bearophile bearophileHUGS at lycos.com
Sun Aug 4 14:55:38 PDT 2013


Timon Gehr:

> Formal proofs require a formalization of language semantics. 
> It's not just a matter of finding someone to carry out the 
> proof. (Anyone can learn online how to do this.)

I think you have too much faith in people intelligence (or just 
in my intelligence) :-)

Bye,
bearophile


More information about the Digitalmars-d mailing list