Thomas🪴
lipsum.dev
did:plc:denld7ao24tcahogbclo3if3
En ce moment, quand j'ai un peu de temps, j'essaie d'apprendre à coder en Lean. Un petit fil à ce sujet 🧵⬇️ …
2025-12-25T11:04:29.438Z
Enable JavaScript to use Bluesky.
Learn more about Bluesky at bsky.social and atproto.com.