Implementation and Formalisation for the paper "Fulls Seldom Differ" - View it on GitHub