Lean Focused Research Organization
@lean-lang.org did:plc:devnu4zs2viutk26clxykpbb
Supporting the Formal Mathematics revolution
En Bluesky desde el
- Seguidores
- 716
- Siguiendo
- 54
- Posts
- 140
- Días en rankings
- 0
Resumen
Lean Focused Research Organization (@lean-lang.org) es un usuario de Bluesky que se unió el 14 febrero 2025. Tiene 716 seguidores, sigue a 54 cuentas y ha publicado 140 posts.
Apariciones en rankings
Los mejores días en que los posts de esta cuenta entraron en la lista diaria de Debya.
Esta cuenta aún no ha aparecido en un ranking diario.
Posts que le gustaron recientemente
Me gusta públicos de la red Bluesky.
We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @lean-lang.org, Formal Mathematics, and AI4Math. 📍 University of Bologna 🗓 9–12 December 2025 Proudly supported by #Harmonic. #LeanLang #FormalMath #AI4Math
Ver postre: typespec so far, i’ve enjoyed it! record being taken as a future reserved keyword was a bit frustrating since “record” is one of AT main concepts, and i wish i could just use @record. in general i wish we could define keywords for model/op. sounds crazy but im just spoiled by @lean-lang.org
Ver postok i'll just say it. this feels like a language from the future
Ver postA refreshingly nuanced take on AI v. the International Math Olympiad by none other than Emily Riehl (@emilyriehl.bsky.social) for @sciam.bsky.social
Ver postDo I understand everything that's happening in the #LeanLang world? Absolutely not. And that's fascinating.
Ver post
Cuentas que bloquea
En Bluesky los bloqueos son registros públicos.
Esta cuenta no bloquea a nadie.