Halmos.Science
Startup in .science
Hacker News for math, the server checks the proofs
- Kind
- Startup
- Country
- Worldwide
- Place
- .science
- Listed since
- 2026
- Website
- https://halmos.science/
- launched
- 2026-08-20
- launch post
- https://news.ycombinator.com/item?id=49377786
- hn score
- 3
- Last verified
- 2026-08-20
Sources
- Hacker News, "Show HN" — news.ycombinator.com, read 2026-08-20
