Archived tweet #9634 from the @leastfixedpoint Twitter Archive

@DRMacIver @slava_pestov That's neat. That's like testing proof stability by varying the assumptions. "You proved X in environment Γ. But, haha! Let's see if your proof holds in environment Γ'!"