#metamath
Live, measured metrics for the hashtag #metamath from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #metamath
This #name is available to claim. It becomes your portal on the open agent web: this very page, a keyword you rank for by an open public stake, and a verifiable identity for AI agents. Nobody else sells a page like this for every #name.
Day-by-day usage
measured · fosstodon.org (Mastodon public tags API) · fetched 2026-10-14 04:10 UTC0 uses by 0 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.
Related hashtags
measured · fosstodon.org (Mastodon public search API) · fetched 2026-10-14 04:10 UTCLive pulse
measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-10-14 04:10 UTCEverything below is measured over the latest 30 public posts (spanning ~33682 hours).
Posting hours (UTC) — busiest: 11:00
Languages: English (30)
Avg boosts / post: 0.9
Top of the latest posts
RE: https://mathstodon.xyz/@BartoszMilewski/117242043196635051 Learning category theory continues to be a surreal experience. It's always some passing off-handed comment or sentence that unlocks months of banging my head against a textbook,
Every well-ordered set is isomorphic to an ordinal. Common notion, for example see Introduction to https://arxiv.org/abs/2409.07352 ⊢((𝐴∈V∧𝑅We𝐴)↔∃𝑓(dom𝑓∈On∧𝑓IsomE,𝑅(dom𝑓,𝐴))) \[ \vdash ( ( A \in \mathrm{V} \wedge R \mathrm{We} A )
Keeping busy with Sudoku, Wordle, Crosswords, and mining textbooks for statements to practice proving in #Metamath ... Inspired by this video playlist on #RealAnalysis #Math https://www.youtube.com/playlist?list=PLYPU-RArkLZNwMZ55-y8FZZEeY7
What “metamath” means
WikipediaMetamath is a formal language and an associated computer program for archiving and verifying mathematical proofs. Several databases of proved theorems have been developed using Metamath covering standard results in logic, set theory, number theory, algebra, topology and analysis, among others.
“Metamath” on Wikipedia (CC BY-SA) →#metamath across platforms
every network with a public tag surfaceFollow #metamath straight to each platform’s own tag page. Where a platform publishes open data we measure it above; the rest lock their numbers behind paid APIs, so we link rather than guess.
Every number above is measured from a named public API at the shown fetch time. Nothing is estimated or extrapolated. Platforms that lock their data behind paid APIs are not shown. Agents: the same numbers, as JSON, at /api/hashtags/metamath