Get the latest tech news
A tool to verify estimates, II: a flexible proof assistant
In a recent post, I talked about a proof of concept tool to verify estimates automatically. Since that post, I have overhauled the tool twice: first to turn it into a rudimentary proof assistant th…
(As with my previous coding, I ended up relying heavily on large language model assistance to understand some of the finer points of Python and sympy, with the autocomplete feature of Github Copilot being particularly useful.) I would be interested developing at some point a graphical user interface for the tool, but for prototype purposes, the Python interactive version suffices. After downloading the relevant files, one can launch the proof assistant inside Python by typing from main import * and then loading one of the pre-made exercises.
Or read this on Hacker News
