Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
henryrobbins00 | Dark Hacker News
user:
henryrobbins00
created:
December 23, 2025
karma:
11
submissions
comments
1.
Show HN: OpenATP: A platform for automated theorem proving in Lean
(github.com)
3 points
by
henryrobbins00
3 days ago
|
0 comments
2.
Show HN: A website to track live music attendance
(showcount.com)
3 points
by
henryrobbins00
86 days ago
|
1 comment