#rocq
Live, measured metrics for the hashtag #rocq from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #rocq
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 · mastodon.social (Mastodon public tags API) · fetched 2026-09-25 21:27 UTCNo measured public usage for #rocq in the last 7 days. That is a real result, and a good one to know: this hashtag is wide open right now. We show a dash before we ever show a made-up number. Browse the trending index for tags with live measurements.
Related hashtags
measured · mastodon.social (Mastodon public search API) · fetched 2026-09-25 21:27 UTCNo related tags with measured usage found for #rocq.
Live pulse
measured · Mastodon tag timeline · fetched 2026-09-25 21:27 UTCNo recent public posts found for #rocq on Mastodon. Nothing measured, so nothing shown.
What “rocq” means
WikipediaThe Rocq Prover is an interactive theorem prover first released in 1989. It allows the expression of mathematical assertions, mechanical checking of proofs of these assertions, assists in finding formal proofs using proof automation routines and extraction of a certified program from the constructive proof of its formal specification.
“Rocq” on Wikipedia (CC BY-SA) →#rocq across platforms
every network with a public tag surfaceFollow #rocq 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/rocq