Hacker News new | ask | show | jobs
user: henryrobbins00
created: 2025-12-23
karma: 17

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Grok is a surprisingly good automated theorem prover
3 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: OpenATP: A platform for automated theorem proving in Lean
3 points | 0 comments
Show HN: A website to track live music attendance
3 points | 1 comments