Post engagements

• 
  Adolfo Neto adolfont.github.io · Jun 25, 2025
  This is a great slide too. Will it be possible, in the future, to generate code in Lean that will be formally verified? #LeanLang #LeanProver
  
  • 
    Lean Focused Research Organization lean-lang.org · Jun 23, 2025
    In this 10-minute UCLA Connect talk, Terence Tao provides an accessible and compelling argument for "citizen math" and broad collaboration in research #mathematics via #formalverification using proof assistants like #LeanLang. 🎥 www.youtube.com/watch?v=K376...
    
  Repost Quote post

  View on BlueskyCopy Bluesky URLCopy post URLTranslate postDownload imageShow all post labels