#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.
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.
Day-by-day usage
measured · mas.to (Mastodon public tags API) · fetched 2026-11-06 16:35 UTC0 uses by 0 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-11-06 16:35 UTCLive pulse
measured · mas.to (Mastodon tag timeline) · fetched 2026-11-06 16:35 UTCEverything below is measured over the latest 40 public posts (spanning ~15707 hours).
Posting hours (UTC) — busiest: 16:00
Languages: English (40)
Avg boosts / post: 1.2
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
What Lean-Verified Actually Settles in OpenAI’s Math Release In OpenAI’s October 2026 mathematics release, many of the 722 manuscripts come with Lean formalizations. That is powerful, but it answers a narrower question than “is the theorem
Hi! I’ll be at #floc2026 soon and I know I can ask there, but it’d be nice to be able to answer a student’s question before I leave: what would be a good entry point to experiment with #ModalLogic in a #ProofAssistant ? Any particular langu
#proofassistant across platforms
every network with a public tag surfaceFollow #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.
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