Un outil pour vérifier les estimations, II : un assistant de preuve flexible

Dans un article récent, j'ai parlé d'un outil de preuve de concept pour vérifier automatiquement les estimations. Depuis cet article, j'ai remanié l'outil deux fois : d'abord pour en faire un assistant de preuve rudimentaire qui pouvait également gérer certaines logiques propositionnelles ; et ensuite en un assistant de preuve beaucoup plus flexible (conçu délibérément pour imiter le […])