Viewing profile — mpardalos
mpardalos
HN member- Joined
- Fri, Sep 02, 2022, 11:07 AM UTC
- HN karma
- 12
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About mpardalos
No profile information was provided.
Recent public activity
-
comment
Comment #49677092
Yes, but there's still the possibility that it's either exploiting a bug in Lean, or that the theorem statement is not set up correctly (i.e. it's actually proved a different theor…
-
comment
Comment #34299062
Unrelated to the content, but this is basically a perfect webpage.