Andreas Abel Marcin Benke Ana Bove Thierry Coquand Peter Dybjer John Hughes Patrik Jansson