Archived tweet #9633 from the @leastfixedpoint Twitter Archive

@DRMacIver @slava_pestov ... proof search, ish? Hmm. So then perhaps Hypothesis itself acts as a big kind of proof tactic. I mean, people have used Z3 to find counterexamples to ACL2 propositions; perhaps Hypothesis fits a similar niche