Hypothesis, Antithesis, synthesis

Introduction to property testing, along with an open-source multilingual tool to put it in practice.