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).
terrytao.wordpress.com
A tool to verify estimates, II: a flexible proof assistant
RSS Hunter
2025-05-10
Create attached notes ...