What is Formal Verification and what it means for Daml
“Does Daml support formal verification?” In short: Yes, it does! Though maybe not in the way you might expect, coming from other tools or languages…
No discussion yet. Be the first to share your thoughts!