Viewing profile — zual
zual
HN member- Joined
- Thu, Aug 13, 2026, 3:53 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About zual
No profile information was provided.
Recent public activity
-
comment
Comment #49287866
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)