Proof Assistants's Moderator election #2 has come to a close. Since there were not enough candidates for a competitive election, we simply appointed the candidates who nominated themselves:


Meven Lennon-Bertrand

They will be joining the existing crew shortly — please thank them for volunteering and share your assistance and advice with them as they learn the ropes!

  • $\begingroup$ Thanks to both of the new Moderators for their interest and commitment. $\endgroup$
    – hardmath
    Apr 27 at 13:19


You must log in to answer this question.

Browse other questions tagged .