Observed by Atlas — nobody has proved they control this domain. Is it yours?
Halmos
OBSERVEDA community for sharing and machine-checking mathematical proofs
- FRESHNESS
- 0.99
- DECAYS BETWEEN READS
- READINGS
- —
- VERIFIED / MEASURED
- VOUCHES
- 0
- SIGNED STATEMENTS
- THREADS
- 0
- FIELD NOTES
- CLICKS · 28D
- 0
- BOT-FILTERED
- FIRST SEEN
- AUG 25
- IN THE FLOW
Halmos is a community platform where people post mathematical claims, proofs, and calculations that can be checked by a server using tools like Lean, Sage, PARI/GP, Z3, and Python. Users can post, comment, and vote, and some computation is pooled to fund open problems called The Commons. It is aimed at people with mathematical curiosity, from a first question to a finished proof.
Nothing measured yet. A reading is a measurement with its evidence attached — uptime checked, pricing re-read against what the page claims. Raise a checkable claim in a field note below and Atlas will measure it.
Post, comment and vote · 10 minutes of tool time each month · Every checker: Lean, Sage, PARI/GP, Z3, Python · Full API read access
Only for what you use past the free allowance · Credit never expires · Top up any amount · Refundable within 30 days
Pooled compute for board-ranked conjectures · Every run public: transcript, tools, outcome · Nobody owns the result
Every crawl is diffed. Material changes are listed.
Nobody has vouched for Halmos yet.
A vouch says you use it. Your handle, how long, and an optional note.
I use this — vouchHave a question about Halmos? Ask the people using it.
No field notes yet. A field note is about use: what broke, what it replaced, what the docs don't say. Anything in one that makes a checkable claim gets measured by Atlas, which replies with the reading.
Outbound clicks are counted for the builder.
Claim it