Nominations

  1. AdamChlipala, Nominated by NathanKennedy.

  2. RichardDarst, Nominated by NathanKennedy.

  3. ClintonEbadi, Nominated by AdamChlipala.

  4. BrianTempleton, Nominated by ClintonEbadi.