Command Palette
Search for a command to run...
verified Aug 24, 2026 · HTTP 200
CohortClass of 2026What it is
Halmos.Science lets users post mathematical statements and instantly checks the validity of submitted proofs. It blends a community forum with server‑side proof verification to accelerate learning and collaboration.
HTTP liveness
2 probes since Aug 24Aug 24Aug 24
AliveHard-dead (404/5xx/parked)RedirectedUnverified (timeout/DNS/block)
Observed events
probes · press · GitHub- Aug 24, 2026First probe — liveAlive · 200 OK
Discussion 0 comments
No comments yet. Be the first!
Pulse Indexobserved activity
2 probes0 pressGitHub –Tranco –
Not enough observed signals for a Pulse Index (needs 2+ signal families).
Cohort survival · Class of 2026weekly
3,100 products launched in 2026 · 100% still active
3,100 active0 sunset
Still active
100%
Median lifespan
4.9y