For Move Prover to work, you need to have the necessary tools installed. To do that, please follow the instruction here: https://aptos.dev/tools/aptos-cli/install-cli/install-move-prover
-
Notifications
You must be signed in to change notification settings - Fork 2
aalok-thakkar/apt-winter-2023
About
Tutorial for Move Prover for Aptos India Winter School 2023
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published