Text this: Formal Primal-Dual Algorithm Analysis