-
Notifications
You must be signed in to change notification settings - Fork 39
Issues: tamarin-prover/manual
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Difference between the syntax description chapter and the Tamarin parser
grammar
#104
opened May 16, 2023 by
aeyno
"Download"-ing proven theories as 'proof files' should be explained more prominently
enhancement
#42
opened Apr 15, 2018 by
rsasse
Explain all the arrow and box types that can occur in the graphs in the GUI
enhancement
#21
opened Mar 24, 2017 by
cascremers
Explain reducible and irreducible functions, and construction and deconstruction rules
enhancement
#9
opened Jul 27, 2016 by
jdreier
Add description: prove subset of lemmas in file - useful for timing
enhancement
#8
opened Jul 19, 2016 by
rsasse
Introduce examples that involve use of multiset notation in properties
enhancement
#6
opened Jul 4, 2016 by
cascremers
ProTip!
no:milestone will show everything without a milestone.