D enters Tiobe top 20

[RazvanN]

On Saturday, 9 November 2019 at 02:18:41 UTC, rikki cattermole 
wrote:
> 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.

At UPB Bucharest we have discussed with a formal verification 
professor and published a research project for a masters student 
(2 years) where the goal is to implement a simple solver for 
contracts in D.