Lemmas in elementary geometry. source files at http://code.google. com/p/flyspeck/source/browse/trunk (2008)

by T C Hales