Hedgehog explores a wide range of inputs and shrinks failures to minimal, valid examples. It works with any .NET test framework and can be used from F#, C#, or other .NET languages.

• Shrinking that preserves invariants by construction.
• gen and property expressions for concise generators and properties.
• Range combinators for controlled numeric and collection generation.
• Composable generators for structured and recursive data types.
• Deterministic runs via explicit seed control.
• Shrink trees available for debugging.
• and additional helpers for complex data generation.

Docs: https://hedgehogqa.github.io/fsharp-hedgehog/