leastfixedpoint

Archived tweet #9296 from the @leastfixedpoint Twitter Archive
TFW making Coq happy improves the structure and presentation of your proof. Unsettlingly common.