Add example results
Add functionality to write used lemmas in the frontend