D enters Tiobe top 20

[Doc Andrew]

On Friday, 8 November 2019 at 19:11:52 UTC, Ola Fosheim Grøstad 
wrote:
> On Friday, 8 November 2019 at 19:04:38 UTC, Doc Andrew wrote:
>> I'm not really an expert in the Hoare logic though
>
> Roughly; Hoare logic is a set of rules for going from the 
> precondition to the postcondition over a single statement. Each 
> rule specify what the post condition should be given the 
> precondition (and vice versa).
>
>> myself :) The Why3 solver will also let you use Coq to do a 
>> manual proof in the event that the automated prover can't 
>> figure it out, so I can't say for sure.
>
> Hm, that's interesting. I've bookmarked Why3, now… 4 l8r… :-)

I think we've probably given the next batch of GSoC candidates 
something to think about at least, haha.