3 ms·
it seems that someone wants to traduce the PM in lean here : https://github.com/l-pommeret/Principia-Mathematica https://github.com/l-pommeret/Principia-Mathema
by zual 2mo ago
it seems that someone wants to traduce the PM in lean here : https://github.com/l-pommeret/Principia-Mathematica https://github.com/l-pommeret/Principia-Mathematica (probably with the use of llms)
- titanomachy 2mo ago"traduce" doesn't have the same meaning in English as it does in Spanish. The translation of "traducir" is "to translate".