AdamChlipala. Nominated by NathanKennedy.
DavorOcelic. Nominated by NathanKennedy.
NathanKennedy. Nominated by AdamChlipala.
JustinLeitgeb. Nominated by DmitriyMorozov.
AdamChlipala. Nominated by NathanKennedy.
DavorOcelic. Nominated by NathanKennedy.
NathanKennedy. Nominated by AdamChlipala.
JustinLeitgeb. Nominated by DmitriyMorozov.