For nearly 3 years I worked in the European project LeActiveMath. Within this period I authored approximately 90 % of the content leam-calculus.