[andrepd]

Absolutely! Proptesting is a great but underutilised feature. I use it a lot wherever I'm in a language which makes it easy (and with a mature library for that), like Haskell, Ocaml, or Rust.

[Rendello]

The simple cases are great demos, and then the complex cases melt your brain! But still worth it a lot of the time.