Ironclad C++

[Andre Artus]

On Sunday, 4 August 2013 at 22:26:19 UTC, Timon Gehr wrote:
> 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/

Thanks Timon, this looks like a great resource.