https://leanprover-community.github.io/blog/enContents © 2026 <a href="mailto:">The Lean prover community</a> Wed, 22 Jul 2026 23:27:14 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://leanprover-community.github.io/blog/posts/simons-lean-workshop/Antoine Chambert-Loir, Alex Kontorovich, and Heather MacBeth<div><p>This is a report on the Simons Foundation's 2025 MPS (Mathematics and Physical Sciences) <a href="https://www.simonsfoundation.org/event/2025-mps-workshop-on-lean/">Workshop on Lean</a>, held in New York City on June 16 - 25, 2025.</p> <p><a href="https://leanprover-community.github.io/blog/posts/simons-lean-workshop/">Read more…</a> (13 min remaining to read)</p></div>https://leanprover-community.github.io/blog/posts/simons-lean-workshop/Sun, 03 Aug 2025 17:00:00 GMT