Much Ado about Two By Sascha Böhme August

This article is an Isabelle formalisation of a paper with the same. In a similar way as Knuth's 0-1-principle for sorting algorithms, that paper develops a " 0-1-2-principle " for parallel prefix computations.