HASHTAGS/#leanprover

#leanprover

The most viral posts using #leanprover across TikTok, Instagram, X, Facebook and Pinterest — ranked by real engagement tracked by ViralHunt.

2posts tracked

2total engagement

1networks

Top #leanprover posts ALL NETWORKS

BLUE

Solución en Lean 4 del "Reto matemático" del 15 de julio de 2026. live.lean-lang.org#url=https%3A... Publicada por Henry en t.me/Retos_Matema...

@jalonso.eurosky.social · Bluesky

1

BLUE

#RetoLean4: Soluciones del reto 15 ((∃ k ∈ ℕ)(∀ n ∈ N)[(n + k)² ≤ 2ⁿ⁺ᵏ]). live.lean-lang.org#url=https://... #LeanProver #ITP #Math

@jalonso.eurosky.social · Bluesky

1

Most viral #leanprover on Bluesky

BLUE

Solución en Lean 4 del "Reto matemático" del 15 de julio de 2026. live.lean-lang.org#url=https%3A... Publicada por Henry en t.me/Retos_Matema...

@jalonso.eurosky.social · Bluesky

1

BLUE

#RetoLean4: Soluciones del reto 15 ((∃ k ∈ ℕ)(∀ n ∈ N)[(n + k)² ≤ 2ⁿ⁺ᵏ]). live.lean-lang.org#url=https://... #LeanProver #ITP #Math

@jalonso.eurosky.social · Bluesky

1

Track #leanprover across every network

ViralHunt watches 10+ networks live and shows you what's trending in your niche — before everyone reacts.

Try for free

Explore more hashtags