DavorOcelic. Nominated by NathanKennedy.
AdamChlipala. Nominated by FrankBynum.
NathanKennedy Nominated by StephenTaylor.
MichaelLeonhard, Nominated by RyanMikulovsky.
JustinLeitgeb, Nominated by NathanKennedy.
BjörnLindström, Nominated by NathanKennedy.