In this talk I will give an overview of the formulations of GR used in numerical relativity. I will summarize what is known about their mathematical properties and explain how local well-posedness of the IVP is achieved. Subsequently I will discuss a dual-foliation formulation of the field equations. The new formalism allows a larger class of coordinates to be employed in applications. These include choices popular in mathematical relativity.