OpenZeppelin/daml-verify: PUBLIC_AUDITS.md

# daml-verify — Public Audit Results Formal verification of DAML contract invariants using the Z3 SMT solver. Properties are proved to hold **for all possible inputs** under stated preconditions. All findings are **NOT VALIDATED** by the respective project teams — they are tool output only. **Date:*