Slides and notes for talks held by Michael Kohlhase
The SMGloM modules for topology
trigonometric functions