(原文 : https://aptos.dev/tools/aptos-cli/install-cli/install-move-prover)

Move Proverを使用する場合は、 CLI バイナリをインストール後、 Move Prover の依存関係をインストールします。

1. 「Aptos をソースからビルドする」を参照してください。
2. チェックアウトした aptos-core ディレクトリに追加のMoveツールをインストールします。

• Linux / macOS
• Windows

1. これで、Move Prover を実行して例を証明できます。

aptos move prove --package-dir aptos-move/move-examples/hello_prover/

最終更新日2024年2月28日