VerMedia - A formally verified theory for temporal media

Temporal media is information that is directly consumed by a user, and that varies with time. Examples of temporal media include music, video clips and computer animations. The main objective of this project is to develop a formally certified library of polymorphic functions to handle temporal media data.