An Agda formal specification of the Midnight Passport project.
- Main repository: midnightntwrk/passport
- Rendered documentation: https://input-output-hk.github.io/arc-passport-formal-spec/
| Name | Name | Last commit date | ||
|---|---|---|---|---|
An Agda formal specification of the Midnight Passport project.