https://veritylabs.dev/
veritylabs | We secure smart contracts with formal verification
Audits give you opinions. We give you certainty. veritylabs formally proves your smart contracts do exactly what they're supposed to using Lean 4 and...
secure smart contractsformalverification