morpho-org/morpho-blue

re-add the certora rule removed in #642

Closed this issue · 0 comments

MathisGD commented
re-add the certora rule removed in #642