alt Hacker Newsit seems that someone wants to traduce the PM in lean here : https://github.com/l-pommeret/Principia-Mathematica (probably with the use of llms)
it seems that someone wants to traduce the PM in lean here : https://github.com/l-pommeret/Principia-Mathematica (probably with the use of llms)
"traduce" doesn't have the same meaning in English as it does in Spanish. The translation of "traducir" is "to translate".