Archived tweet #9269 from the @leastfixedpoint Twitter Archive

Coq is brain gym, and I enjoy it, but each time I've used it For Real I've run into what seems a heck of a lot like bugs. Unsettling.