Mechanical Verification of a Constructive Proof for FLP
scientific article; zbMATH DE number 6644739
scientific article