Looking forward to this talk by Leonardo de Moura! @leanprover www.simonsfoundation.org/event/verifi... - ThreadSky | a Reddit-style client for Bluesky

patrickshafto.bsky.social • 13 days ago

Looking forward to this talk by Leonardo de Moura!
@leanprover

https://www.simonsfoundation.org/event/verified-collaboration-how-the-lean-project-is-transforming-mathematics-programming-and-ai/

1 / 2

Comments