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

hashtag.org network · sponsored

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.

$2,449.80/ year · 4-character #name
Claim #rocq — $2,449.80/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.4
Avg reactions / post
Mastodon · last 40
—
Reddit posts / month
Reddit search
—
Open-web mentions
hashtag.org Firehose

Day-by-day usage

measured · fosstodon.org (Mastodon public tags API) · fetched 2026-10-15 04:02 UTC
0
10-09
0
10-10
0
10-11
0
10-12
0
10-13
0
10-14
0
10-15

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-10-15 04:02 UTC
#rocqprover
2 uses · 2 accounts / 7d
#rocques
0 uses · 0 accounts / 7d
#rocq_ignore
0 uses · 0 accounts / 7d
#rocqueismad
0 uses · 0 accounts / 7d
#rocq_prover
0 uses · 0 accounts / 7d
#rocque
0 uses · 0 accounts / 7d
#RocquePerez
0 uses · 0 accounts / 7d
#rocquemont
0 uses · 0 accounts / 7d

Live pulse

measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-10-15 04:02 UTC

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

Posting hours (UTC) — busiest: 09:00

00:0012:0023:00

Languages: English (39) · Chinese (Taiwan) (1)

Avg boosts / post: 2

Top of the latest posts

  • Current status: installed #rocq, reading Software Foundation.

    arialdo@[email protected]♥ 3↻ 22026-04-01 22:01 UTCView post →

  • RE: https://functional.cafe/@hackuador/116282882755691464 Two more sleeps until the first #BFPG Hack Day of 2026! See yas there, curious minds! #FP #Haskell #OCaml #Idris #Gleam #Lean #Scala #Erlang #Elixir #FSharp #Clojure #Lisp #Agda #Roc

    Fraser Tweedale@[email protected]♥ 2↻ 12026-03-26 06:03 UTCView post →

  • The machine-checked complete formalization of Landau’s foundations of analysis in Rocq. ~ Yue Guan, Yaoshun Fu, Xiangtao Meng. https://www.mdpi.com/2227-7390/14/1/61 #ITP #Rocq #Math

    José A. Alonso@[email protected]♥ 2↻ 22025-12-29 08:02 UTCView post →

What “rocq” means

Wikipedia

The 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 surface

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

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