Documents of my Master Thesis about Space & Congruence compression of proofs