Corrected Proof Realization.
Fixed formatting on some Coq examples.