PropEr's quick-start instructions in the project README do not:
To the first point, I note that rebar's ta-qc branch which provides support for PropEr hasn't seen any action in a year. It seems reasonable to me that PropEr should:
Setting up paths appropriately and finding the property tests to run is somewhat involved but is doable without recourse to rebar. I note that Haskell's QuickCheck supports no discovery of tests, but providing out-of-the-box running for tests placed in a well-known area is increasingly a feature of modern test tools.
The resolution of this sub-problem is highly dependent on the resolution of the above. Most pragmatic to the PropEr project is probably piggy-backing on eunit, but that is annoyingly verbose and of poor work saving utility to subsequent developers.
An example project--not necessarily complex--would do wonders.
I just made prototype o PropEr plugin for rebar:
@andrzejsliwa does this work for rebar3?
Anyone looking for integration with rebar3, you can check https://github.com/ferd/rebar3_proper