Property-Based Testing with PropEr, Erlang, and Elixir: Elixir code for Chapter 8?

Community PragProg Customers
,
1

PropCheck supports TargetedPBT now – PropCheck.TargetedPBT — PropCheck v1.4.1

Is the Elixir code for Chapter 8 Targeted Properties available somewhere?