Follow us on Bluesky
  1. Bluesky Feeds /
  2. Adolfo Neto /
  3. Lean Lang
Lean Lang

Lean Lang

by Adolfo Neto Adolfo Neto

Posts about Lean, an open-source functional programming language and interactive theorem prover: https://lean-lang.org/

Feed on Bluesky

Feeds Stats

  • 💙 Liked by 36 users
  • 📅 Updated 10 months ago
  • ⚙️ Provider skyfeed.me

Lean Lang Likes over time

Like count prediction
The feed Lean Lang has not gained any likes in the last month.
Feed preview not available