On 08.06.2016 01:59, Walter Bright wrote:
...I suspect D has long since passed point where it is too complicated for the rather limited ability of mathematicians to prove things about it.
The main reason why it is currently impractical to prove things about D is that D is not really a mathematical object. I.e. there is no precise spec.
