Possibly pertinent: Principia Mathematica Maps and Table Site (PM-MATS): https://principia.lib.uiowa.edu/about.html - more description in my top-level comment in this page.

It seems like a frontier model LLM could probably do it in day, probably less. Someone would have to read and correct it, though