I doubt this is feasible to regenerate from scratch, because I don’t think anyone ever generated it from scratch. Euclid’s Elements were probably the first rigorous proofs, but Euclid built on earlier, less-rigorous ideas which we would recognize now as invalid as proofs but better than a broad heuristic argument.
And of course, Euclid’s notion of proof wasn’t as rigorous as Russell and Whitehead’s.
I doubt this is feasible to regenerate from scratch, because I don’t think anyone ever generated it from scratch. Euclid’s Elements were probably the first rigorous proofs, but Euclid built on earlier, less-rigorous ideas which we would recognize now as invalid as proofs but better than a broad heuristic argument.
And of course, Euclid’s notion of proof wasn’t as rigorous as Russell and Whitehead’s.