KCoFI Pudding: The formal proofs for the KCoFI system