← Back to context Comment by bazoom42 6 hours ago Have someone refactored it into a more concise and modern version? 2 comments bazoom42 Reply jonjacky 4 hours ago 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. theonemind 5 hours ago It seems like a frontier model LLM could probably do it in day, probably less. Someone would have to read and correct it, though
jonjacky 4 hours ago 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.
theonemind 5 hours ago It seems like a frontier model LLM could probably do it in day, probably less. Someone would have to read and correct it, though
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