ITADN
morpho-org/vault-v2/Issues

[Certora] prove pendingCount

#745ClosedMathisGD 创建于 2025-09-03
M
MathisGDcommented
todo prove this, see #742 _Originally posted by @MathisGD in https://github.com/morpho-org/vault-v2/pull/739#discussion_r2316721407_
关闭于 2025-09-23 1 条评论