This PDF tool is like a virtual assistant in your laptop — and it’s 76% offBy adminJuly 21, 20250 We may earn revenue from the products available on this page and participate in affiliate programs. Learn more › TL;DR: A…
A proof of concept tool to verify estimatesBy adminJune 30, 20250 This post was inspired by some recent discussions with Bjoern Bringmann. Symbolic math software packages are highly developed for many…
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…
