https://leanprover-community.github.io/blog/enContents © 2026 <a href="mailto:">The Lean prover community</a> Fri, 01 May 2026 07:08:23 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://leanprover-community.github.io/blog/posts/mathlib-reviewer-bootcamp/Rida Hamadani and Hannah Scholz<div><p>We are Hannah (she/her) and Rida (they/them), math graduate students at the University of Bonn and UPPA respectively. On 30th March 2026, we gathered with other Mathlib contributors for 4 days in Stockholm to take part in the first ever Mathlib Reviewer Bootcamp organized by <a href="https://www.su.se/english/profiles/y/yadi8568">Yaël Dillies</a> and <a href="https://github.com/erdOne">Andrew Yang</a> with help from <a href="https://www.math.uni-bonn.de/people/rothgang/">Michael Rothgang</a>. The webpage with precise information on lectures and participants can be found <a href="https://yaeldillies.github.io/mrb2026.html">here</a>.</p> <p><a href="https://leanprover-community.github.io/blog/posts/mathlib-reviewer-bootcamp/">Read more…</a> (3 min remaining to read)</p></div>https://leanprover-community.github.io/blog/posts/mathlib-reviewer-bootcamp/Sat, 25 Apr 2026 12:47:00 GMT