A tool to verify estimates, II: a flexible proof assistant
(wordpress.com)
In a recent post, I talked about a proof of concept tool to verify estimates automatically.
In a recent post, I talked about a proof of concept tool to verify estimates automatically.