Need Help in Rules and Lemmas, its not showing in localhost

[hemant gupta]

Hi Group,

I am new to the Tamarin Prover language. I made a program for my project. When loading it, it shows no errors, but I am not able to see the rules and lemmas in the left pane.

May anyone please help?

Thanks and Regards,

Hemant Gupta.

[Cas Cremers]

Hi Herman,

I am not sure how you produced your code, but we should not be debugging LLM outputs. Some of your code definitely looks like it was LLM generated. Maybe I am mistaken.

However, there is a trivial syntax issue that explains your phenomenon: you have an "end" after your function definitions which tells Tamarin the input has ended early, and then it doesn't parse anything afterwards anymore.

Best,

Cas