Property based testing is great because it’s implemented as a library in many languages. You don’t have to rewrite your codebase in Lean.