Representation Theorem for Stacks Grzegorz Bancerek (2011) Formalized Mathematics In the paper the concept of stacks is formalized. As the main result the Theorem of Representation for Stacks is given. Formalization is done according to [13].