Details of Programmer: Tromp, John

Home page: http://homepages.cwi.nl/~tromp/.

Email:

Co-programmer of Dimwit.