leastfixedpoint

Archived tweet #3814 from the @leastfixedpoint Twitter Archive
"Oh, sure - verifying programs against their modal logic specifications is the Javascript way!" - @squaremobius