leastfixedpoint

Archived tweet #6634 from the @leastfixedpoint Twitter Archive
Proving termination in Coq is *such* an enormous pain in the arse.