A Constructive Proof for FLP

Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann. A Constructive Proof for FLP. Archive of Formal Proofs, 2016, 2016. [doi]

Abstract

Abstract is missing.