move-prove

Run the Move Prover to formally verify specifications

maintainer

aptos-labs

更新於 2026/3/4

星標

6438

分支

3899

quick start

Installation and usage

Run the Move Prover to formally verify specifications

安裝

$ install --globalskills.sh

使用

安裝後，您可以透過在終端機執行以下指令來使用此技能：

skills use move-prove