Nominations

  1. DavorOcelic. Nominated by NathanKennedy.

  2. AdamChlipala. Nominated by FrankBynum.

  3. NathanKennedy Nominated by StephenTaylor.

  4. MichaelLeonhard, Nominated by RyanMikulovsky.

  5. JustinLeitgeb, Nominated by NathanKennedy.

  6. BjörnLindström, Nominated by NathanKennedy.