#ProofAssistant

Live, measured metrics for the hashtag #ProofAssistant 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 #proofassistant

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.

$5.00/ year · 14-character #name
Claim #proofassistant — $5.00/yr→Buy on hashtag.space (web3)
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
0.6
Avg reactions / post
Mastodon · last 40
—
Reddit posts / month
Reddit search
—
Open-web mentions
hashtag.org Firehose

Day-by-day usage

measured · mastodon.social (Mastodon public tags API) · fetched 2026-09-13 20:07 UTC
0
09-07
0
09-08
0
09-09
0
09-10
0
09-11
0
09-12
0
09-13

0 uses by 0 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.

Related hashtags

measured · mastodon.social (Mastodon public search API) · fetched 2026-09-13 20:07 UTC
#proofassistants
0 uses · 0 accounts / 7d

Live pulse

measured · mastodon.social (Mastodon tag timeline) · fetched 2026-09-13 20:07 UTC

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

Posting hours (UTC) — busiest: 15:00

00:0012:0023:00

Languages: English (40)

Avg boosts / post: 1.5

Top of the latest posts

  • 𝐋𝐞𝐚𝐧 𝟒.𝟑𝟑.𝟎 𝐢𝐬 𝐥𝐢𝐯𝐞! This release brings 208 changes, including a more responsive editor, automatic proof suggestions, and 𝙵𝚕𝚘𝚊𝚝 no longer being an opaque type. Notable improvements include: ⚡ Editing feels smoother: the

    Lean@[email protected]♥ 13↻ 72026-08-10 15:59 UTCView post →

  • Mikan - 1Lab https://1lab.dev/Mikan.html > Mikan is a free and libre interactive proof assistant for cubical type theory, featuring a computational interpretation of univalence among a variety of schemas for inductive and coinductive defini

    terrorist :: Feline@[email protected]♥ 2↻ 02026-08-09 02:41 UTCView post →

  • Lean 4.31.0 is released. This consolidation-heavy release brings 305 changes. For those working on verified software: repeat/while loops are now verifiable without requiring source changes, expanding through whileM to support a one-step unf

    Lean@[email protected]♥ 2↻ 52026-06-18 17:44 UTCView post →

#proofassistant across platforms

every network with a public tag surface

Follow #proofassistant 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.

X (Twitter) ↗Instagram ↗TikTok ↗Facebook ↗LinkedIn ↗YouTube ↗Threads ↗Bluesky ↗Mastodon ↗Reddit ↗Pinterest ↗Tumblr ↗

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