# Halmos.Science

Startup, Worldwide.

> Hacker News for math, the server checks the proofs
>
> — in its own words, from halmos.science

- Website: https://halmos.science/
- Listed since: 2026
- 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" — https://news.ycombinator.com/item?id=49377786, read 2026-08-20

---
startup.is · https://startup.is/registry/halmos-science · open data: /api/v1, /llms.txt