#LeanLang

Live, measured metrics for the hashtag #LeanLang from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.

hashtag.org network · sponsored

Own #leanlang

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.

$110.68/ year · 8-character #name
Claim #leanlang — $110.68/yr→
Annual, renews each year
Buy on hashtag.space (web3)
one-timepay once, yours for life
card via hashtag.org · tokens via hashtag.space
0
Uses / 7 days
Mastodon
0
Accounts / 7 days
Mastodon
40
Recent posts
Mastodon
~0/hr
Recent pace
Mastodon · last 40
1
Avg reactions / post
Mastodon · last 40

Day-by-day usage

measured · fosstodon.org (Mastodon public tags API) · fetched 2026-07-27 07:07 UTC
0
07-21
0
07-22
0
07-23
0
07-24
0
07-25
0
07-26
0
07-27

0 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-07-27 07:07 UTC
#leanlanguage
0 uses · 0 accounts / 7d

Live pulse

measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-07-27 07:07 UTC

Everything below is measured over the latest 40 public posts (spanning ~8213 hours).

Posting hours (UTC) — busiest: 17:00

00:0012:0023:00

Languages: English (37) · Korean (2) · Portuguese (1)

Avg boosts / post: 1.6

Top of the latest posts

  • A second update on my previous posts https://mathstodon.xyz/@tao/115306424727150237 https://mathstodon.xyz/@tao/115316787727719049 on the #MathOverflow problem https://mathoverflow.net/questions/501066/is-the-least-common-multiple-sequence-

    Terence Tao@[email protected]♥ 22↻ 82025-10-06 04:02 UTCView post →

  • We released #LeanLang 4.22.0 yesterday. This release marks the culmination of our Year 2 roadmap, and we're particularly excited to announce the official release of: The new 𝚐𝚛𝚒𝚗𝚍 tactic, an SMT-style tactic that includes theory-specif

    Lean@[email protected]♥ 18↻ 222025-08-15 19:44 UTCView post →

  • Lean 4.32.0 is released, with 102 changes total, including the new do elaborator, introduced experimentally in 4.29, is now the default. The legacy elaborator remains available via backward.do.legacy for anyone who needs it. Also in this re

    Lean@[email protected]♥ 0↻ 32026-07-13 20:30 UTCView post →

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/leanlang