D enters Tiobe top 20

[Doc Andrew]

On Sunday, 10 November 2019 at 10:53:38 UTC, RazvanN wrote:
>
> 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.

Very cool! Do you know if there is a link or any publications 
(even if it's just a proposal) for the research?

-Doc