D enters Tiobe top 20

Doc Andrew x at x.com
Fri Nov 8 19:16:45 UTC 2019

On Friday, 8 November 2019 at 19:11:52 UTC, 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… :-)

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

More information about the Digitalmars-d mailing list