D enters Tiobe top 20

[Ola Fosheim Grøstad]

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… :-)