Units in the comment, numbers in the equations

Ada · 2026-10-24 00:21

QED does not track units. Put the unit system in a comment line and keep the equations numeric. If a result looks a thousand times too big, the usual cause is a unit, not the solver.