People

LEO-II is being developed at the University of Cambridge and Saarland University by

with support from Larry Paulson.

Further thanks to C. Brown, G. Sutcliffe, A. van Gelder.