it seems that someone wants to traduce the PM in lean here : https://github.com/... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

zual 35 days ago | parent | context | favorite | on: Principia Mathematica is modern and insightful

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)

titanomachy 35 days ago [–]

"traduce" doesn't have the same meaning in English as it does in Spanish. The translation of "traducir" is "to translate".

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact