Feedback Wanted: New Feature - Editing Tamarin Lemmas in the GUI

[Felix Linker]

Hi everyone,

Ralf Sasse and I currently supervise a student, Alice La Porta, who implemented a new Tamarin GUI feature: You can now edit lemmas in the GUI! This allows users to edit lemmas without requiring them to reload the entire theory, which can take very long on some theories.

Alice made great progress and we would like to test the new feature with people who use Tamarin. It would be great if you could test this new feature and provide us with feedback! We have prepared a short survey that provides you with instructions. The survey itself is optional, but it is also very short. Please consider filling it in! You can find instructions and the survey here:  https://docs.google.com/forms/d/e/1FAIpQLSfZTjmLV6kI0xNt2dFyyhpSClAHrz7NkvrU7P9fsl13Zp7B9A/viewform?usp=sf_link

Thank you so much in advance, and best,

Felix