Re: Slides from LASER 2012

[deadalnix]

Le 20/09/2012 18:55, bearophile a écrit :

Timon Gehr:

Formalising it is not hard,

I am not sure of this, given the amount of special cases it already has.

This is made for less special cases. Which is an improvement.