Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
henryrobbins00 | Dark Hacker News
user:
henryrobbins00
created:
December 23, 2025
karma:
17
submissions
comments
1.
Grok is a surprisingly good automated theorem prover
3 points
by
henryrobbins00
34 days ago
|
1 comment
2.
34 days ago
|
discuss
3.
Show HN: OpenATP: A platform for automated theorem proving in Lean
(github.com)
3 points
by
henryrobbins00
57 days ago
|
0 comments
4.
Show HN: A website to track live music attendance
(showcount.com)
3 points
by
henryrobbins00
139 days ago
|
1 comment