A tool to verify estimates, II: a flexible proof assistantBy adminMay 28, 20250 In a recent post, I talked about a proof of concept tool to verify estimates automatically. Since that post, I…