Certora's formal verification code

coinbase / smart-wallet

MIT License

258 stars 47 forks source link

Closed RedLikeRosesss closed 3 months ago

cb-heimdall commented 4 months ago

Review Error for stevieraykatz @ 2024-03-15 20:21:48 UTC User must have write permissions to review