D enters Tiobe top 20

[rikki cattermole]

On 09/11/2019 11:41 AM, Walter Bright wrote:
> 
> I've thought for 35 years that assert()s can be the input to a program 
> prover, i.e. it's nothing new, but I do not have the expertise to figure 
> out such proofs might work, other than simplistic cases.

Sounds like some universities need to be contacted, perhaps a future PHD 
student would be interested in doing the theory.