Nominations

  1. AdamChlipala. Nominated by NathanKennedy.

  2. DavorOcelic. Nominated by NathanKennedy.

  3. NathanKennedy. Nominated by AdamChlipala.

  4. JustinLeitgeb. Nominated by DmitriyMorozov.