Property-based testing for Lean, built on Hypothesis - View it on GitHub