1. 14
  1.  

  2. 1

    Informative write up and a very interesting project. I hope to hear more about it in the future and also give property testing a go.