ITP 2013 tutorial: The Mathematical Components library

Links to the material we used during the tutorial:

Links to the related resources mentioned during the tutorial: