Johan Commelin

• Director of the Mathlib Initiative
  at Renaissance Philanthropy
• Assistant Professor
  at Utrecht University

• johan@mathlib-initiative.org
• j.m.commelin@uu.nl

arxiv·github