"Rigor" appears to be a "dead metaphor" (Lakoff) for "stiffness", so the connection to "rigor mortis" is dead stiff.

A proof or argument is "rigorous" if it can be represented as a sequence of small steps where every step proceeds directly from previous steps (or from an assumption) using specific valid rules of inference - provided that the set of assumptions is minimal (mutually independent) and consistent.