(原文 : https://aptos.dev/tools/aptos-cli/install-cli/install-move-prover)
Move Proverを使用する場合は、 CLI バイナリをインストール後、 Move Prover の依存関係をインストールします。
aptos move prove --package-dir aptos-move/move-examples/hello_prover/
最終更新日2024年2月28日