D enters Tiobe top 20

Ola Fosheim Grøstad ola.fosheim.grostad at gmail.com
Fri Nov 8 19:11:52 UTC 2019

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

More information about the Digitalmars-d mailing list