Software engineer interested in formalized mathematics.
Current Free Math project: IsarMathLib (http://savannah.nongnu.org/projects/isarmathlib)
By the way thank you for the information about yogourt. I've just noticed it. – 22-Nov-2006 fl