5
$\begingroup$

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:

ice1000

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!

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

0

You must log in to answer this question.

Browse other questions tagged .