Recently, we have contrived some procedures based on resolution method. So, we want to test these procedures.

I know that many propositions are presented by logic formulas in Principia Mathematica. But I do not know how to get all the modern logical formulas in Principia Mathematica. Has anyone done similar work (i.e., converted or translated these original formulas to modern ones)?

Would you like to give me some guidance? Many thanks.