#proofassistants

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

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 · 15-character #name
Claim #proofassistants — $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
37
Recent posts
Mastodon
~0/hr
Recent pace
Mastodon · last 37
0.4
Avg reactions / post
Mastodon · last 37

Day-by-day usage

measured · fosstodon.org (Mastodon public tags API) · fetched 2026-07-29 19:09 UTC
0
07-23
0
07-24
0
07-25
0
07-26
0
07-27
0
07-28
0
07-29

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-29 19:09 UTC

No related tags with measured usage found for #proofassistants.

Live pulse

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

Everything below is measured over the latest 37 public posts (spanning ~43553 hours).

Posting hours (UTC) — busiest: 07:00

00:0012:0023:00

Languages: English (35) · Spanish (1) · French (1)

Avg boosts / post: 3.1

Top of the latest posts

  • This is my #Lean 4 #proof of the nonexistence of #God, based on "§2.4 Modeling English Propositions" p.37 of "A Logical Approach to Discrete Mathematics" by Gries and Schneider (1993): • If God were able and willing to prevent evil, He woul

    amen zwa, esq.@[email protected]♥ 10↻ 52026-01-24 06:09 UTCView post →

  • You don't need a PhD to start writing simple maths proofs in Lean. This beginner-friendly course gets you started making your first steps. https://www.amazon.com/dp/B0DWHS1RDJ #maths #leanprover #proofassistants #lean4

    Tariq@[email protected]♥ 2↻ 42026-01-21 18:05 UTCView post →

  • As part of our (@[email protected] and yt) research on the usability of interactive theorem provers, we are conducting a study on the usage and state of tools and languages for type-driven development. We are interested in tools that

    Jesper Agdakx 🔸@[email protected]♥ 1↻ 222025-03-11 08:59 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/proofassistants