#retolean4
Live, measured metrics for the hashtag #retolean4 from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #retolean4
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 · mas.to (Mastodon public tags API) · fetched 2026-10-29 09:12 UTC1 uses by 1 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.
Related hashtags
measured · mas.to (Mastodon public search API) · fetched 2026-10-29 09:12 UTCNo related tags with measured usage found for #retolean4.
Live pulse
measured · mas.to (Mastodon tag timeline) · fetched 2026-10-29 09:12 UTCEverything below is measured over the latest 40 public posts (spanning ~2822 hours).
Posting hours (UTC) — busiest: 10:00
Languages: Spanish (30) · English (10)
Avg boosts / post: 1
Top of the latest posts
Enunciado del reto 22 de Lean 4: Si una sucesión tiene dos subsucesiones con límites distintos, entonces la sucesión no es convergente. https://jaalonso.github.io/calculemus/posts/2026/10/05-subsucesiones_con_limites_distintos_implican_no_c
Weekly reads: Oct 19 – Oct 25, 2026. 🇬🇧 English: https://jaalonso.github.io/vestigium/en/posts/2026/10/26-weekly_reads 🇪🇸 Spanish: https://jaalonso.github.io/vestigium/posts/2026/10/26-weekly_reads #AI #AI4Math #ITP #Lean4Challenge #Lea
Reto 24 de Lean 4: La sucesión 1, -1, 1, -1,... no es convergente (usando el Reto 22). https://jaalonso.github.io/calculemus/posts/2026/10/19-no_convergencia_-1n_v2/ #RetoLean4 #LeanProver #ITP #Math
#retolean4 across platforms
every network with a public tag surfaceFollow #retolean4 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/retolean4