Viewing profile — 123aHgf
123aHgf
HN member- Joined
- Sat, Sep 05, 2026, 1:06 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About 123aHgf
No profile information was provided.
Recent public activity
-
comment
Comment #49576188
Wrong. AlphaProof is much older, used Lean and a tree search for tactics just like ACL2. They all steal from ACL2 without attribution in the current publication boiler room atmosph…