Viewing profile — fpvandoorn
fpvandoorn
HN member- Joined
- Wed, Jun 03, 2026, 10:30 AM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About fpvandoorn
No profile information was provided.
Recent public activity
-
comment
Comment #49626113
They actually used Lean statements that were carefully human-written and human-reviewed, from here https://github.com/google-deepmind/formal-conjectures/blob/m... This doesn't guar…