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