Packages
Deterministic protocol verification for cryptographically bounded proof-of-possession authority.
Current section
Files
Jump to
Current section
Files
bounded_authority_protocol
.formatter.exs
.formatter.exs
[
inputs: [
"{mix,.formatter}.exs",
"{config,lib,scripts,test,tools}/**/*.{ex,exs}"
]
]