Document proptest support for property tests - #2765

Draft

leighmcculloch wants to merge 2 commits into

mainfrom

document-proptest-support

Commits on Aug 18, 2026

document proptest support for property testing
leighmcculloch
committed
9f3a53f
fix property test section placement and add caveats
leighmcculloch
committed
469ad0a