leastfixedpoint

Archived tweet #6793 from the @leastfixedpoint Twitter Archive
In each case, the feedback from interacting with the tool helps guide me as I shape my program (resp. proof).