Efficient, verified checking of propositional proofs
scientific article; zbMATH DE number 6821857
scientific article