Lean Focused Research Organization

• 
  Pietro Monticone pietromonticone.bsky.social · Oct 14, 2025
  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
  
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLTranslate postDownload imageShow all post labels
• 
  dan danabra.mov · Oct 9, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  dan danabra.mov · Aug 30, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  Emma R. Hasson handle.invalid · Aug 7, 2025
  A refreshingly nuanced take on AI v. the International Math Olympiad by none other than Emily Riehl (@emilyriehl.bsky.social) for @sciam.bsky.social
  

  AI Crushed the Math Olympiad—Or Did It?

  AI models supposedly did well on International Math Olympiad problems, but how they got their answers reminds us why we still need people doing math

  scientificamerican.com
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLTranslate postShow all post labels
• 
  Adolfo Neto adolfont.github.io · Aug 6, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  Adolfo Neto adolfont.github.io · Jul 15, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  xenaproject xenaproject.bsky.social · Jul 15, 2025
  First volume of new diamond open access journal "Annals of Formalized Mathematics" just dropped: afm.episciences.org/volume/view/...

  Annals of Formalized Mathematics - Volume 1

  afm.episciences.org
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLTranslate postShow all post labels
• 
  José A. Alonso jalonso.bsky.social · Jul 15, 2025
  IMO 1996 P3: Lean 4 formalization. ~ David Renshaw. youtu.be/5NbYtDfXfR4 #ITP #LeanProver #Math
  

  IMO 1996 P3: Lean 4 Formalization

  YouTube video by David Renshaw

  youtu.be
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLTranslate postShow all post labels
• 
  Adolfo Neto adolfont.github.io · Jul 8, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• wffl wffl.ihatereality.space · Jul 8, 2025
  Replying to Lean Focused Research Organization
  I like the design! maybe code examples could use some color though ^^'
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLTranslate postShow all post labels
• 
  Haskell programming language haskell.org · Jul 7, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  Adolfo Neto adolfont.github.io · Jun 30, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  a bezoar a-bezoar.bsky.social · Jun 30, 2025
  Replying to Lean Focused Research Organization
  would you please check that your links work and are correct before posting. Here is the correct changelog link for v4.21 lean-lang.org/doc/referenc...

  https://lean-lang.org/doc/reference/latest/releases/v4.21.0/#release-v4___21___0

  lean-lang.org
  1

  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLTranslate postShow all post labels
• 
  Adolfo Neto adolfont.github.io · Jun 25, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  The Rust Foundation rustfoundation.org · Jun 18, 2025
  THANK YOU to @microsoft.com, @jetbrains.com & Arm for being the 1st orgs to come aboard as @rustconf.com sponsors for 2025! We are routinely impressed by the commitment of these orgs to supporting+growing the #rustlang ecosystem. Learn more about sponsoring #rustconf @ rustconf.com/become-a-spo...
  • 
    RustConf rustconf.com · Jun 18, 2025
    [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLTranslate postShow all post labels
• 
  Adolfo Neto adolfont.github.io · Jun 12, 2025
  [Not loaded yet]
  1

  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• gleam gleam.run · Jun 3, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• gleam gleam.run · Jun 2, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  Haskell programming language haskell.org · Jun 5, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• boryslaw boryslaw.bsky.social · Jun 4, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• goesbymoon goesbymoon.bsky.social · Jun 3, 2025
  Replying to goesbymoon
  oh hey! @lean-lang.org is here. nice.
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLTranslate postShow all post labels
• 
  Terence Tao handle.invalid · May 26, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• imprintlabs imprintlabs.bsky.social · May 15, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  Adolfo Neto adolfont.github.io · May 13, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  Terence Tao handle.invalid · May 13, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  Terence Tao handle.invalid · Apr 14, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  Terence Tao handle.invalid · May 11, 2025
  As an experiment, I tried to use automated tools to formalize (in as "mindless" a fashion as possible) a one-page human written proof into Lean. You can watch the results here: www.youtube.com/watch?v=cyyR...
  

  Formalizing a proof in Lean using Github copilot and canonical

  YouTube video by Terence Tao

  youtube.com
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLTranslate postShow all post labels
• 
  The Rust Foundation rustfoundation.org · Mar 21, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• adler adler.dev · Mar 19, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  petit biche (🔐) lint.bsky.social · Feb 26, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• citri citri.qa · Feb 26, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  Simons Foundation simonsfoundation.org · Feb 21, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels
• 
  dan danabra.mov · Feb 19, 2025
  [Not loaded yet]
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLShow all post labels