Move prover: Complex tutorial of formal verification for Sui move

Currently I’m working on an over collateral lending platform. The logic here is somehow relatively complex. I want to make my contract safer by writing formal verification on my code. But I can’t find a good tutorial for writing Move prover on SUI. Any suggestions?

15 Likes

you can join the community of sui, discuss the questions.

6 Likes

discord sui , you can ask the questions to it,maybe the assistant will answer you

5 Likes

This post was flagged by the community and is temporarily hidden.

3 Likes

This post was flagged by the community and is temporarily hidden.

This post was flagged by the community and is temporarily hidden.