Asymptotic

Formal Verification tool for Move on Sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

A formally verified library of common unsigned and signed operations.

The SuiNS Smart Contracts & Documentation repository

A Libary of move module provides signed integer and some integer math functions.