Documentation/GitHub Code/OpenZeppelin/daml-verifyView on GitHub Code ↗

OpenZeppelin/daml-verify: README.md

# daml-verify [![License: AGPL v3](https://img.shields.io/badge/License-AGPL_v3-blue.svg)](https://www.gnu.org/licenses/agpl-3.0) > [!WARNING] > This software is experimental and not intended for production use. Use at your own risk. Lightweight formal verification for DAML contracts using the [Z3 S

Read on GitHub Code ↗

← Back to Documentation