OpenZeppelin/canton-token-template: docs/AUDIT.md
Verification Report: Canton Network Token Standard Three open-source verification tools and manual code review by the author were used to analyze this codebase. All findings have been patched or acknowledged. Summary Metric Value Tools used 3 (daml-lint, daml-props, daml-verify) Findings identified…
Read on GitHub code ↗