Abstract: For a smooth manifold M with a Lie group G action, we can define equivariant cohomology based on differential forms on M. That is Weil model. This construction is analogous to Borel construction on the level of differential forms. The Cartan model is then derived from the Weil model. The Cartan model provides an explicit way to compute equivariant cohomology. We will introduce both models and prove that they are equivalent.