# content
A tool to verify estimates, II: a flexible proof assistant (via jmillikin) — discussion

#formalmethods #math