Nominations

  1. ZachAlexander, Nominated by NathanKennedy.

  2. FrankBynum, Nominated by AdamChlipala.

  3. ClintonEbadi, Nominated by AdamChlipala.

  4. JustinLeitgeb, Nominated by FrankBynum.

  5. DavorOcelic, Nominated by NathanKennedy.