Ironclad C++

[Timon Gehr]

On 08/04/2013 11:55 PM, bearophile wrote:
> 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

In case someone wants to try anyway, eg. the following course is quite 
enjoyable:

http://www.cis.upenn.edu/~bcpierce/sf/