A tool to verify estimates, II: a flexible proof assistant | What's new
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…| What's new
