In einem aktuellen Beitrag habe ich über ein Konzeptwerkzeug gesprochen, um Schätzungen automatisch zu überprüfen. Seit diesem Beitrag habe ich das Werkzeug zweimal überarbeitet: erstens, um es in einen rudimentären Beweisassistenten umzuwandeln, der auch einige Aussagenlogik beherrschen konnte; und zweitens in einen viel flexibleren Beweisassistenten (bewusst entworfen, um […] nachzuahmen).