Push Thesis Defense

Thesis defense about Space & Congruence Compression of Proofs on 23rd of September 2014