Added contribution.pdf

Author: bsorav

contribution.pdf

@@ -78,10 +78,13 @@ <h1 align=left>Equivalence checking and Verified compilation</h1>
 <!--<li> <a href="#video">Demonstration video</a></li>-->
   </ul>
 
-<h1>Apply for Jobs</h1>
+<h1><a href=contribution.pdf>Three slides that summarize our contribution and our goal</a></h1>
+
+<!--<h1>Apply for Jobs</h1>
 <ul>
  <li><a href=https://www.linkedin.com/jobs/view/3908887829>Frontend Engineer</a></li>
 </ul>
+-->
 
 <h1 id="install">Install the equivalence checker on the browser</h1>