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.