Home Online Mathematical Communication What's new A tool to verify estimates, II: a flexible proof assistant