Zellic/move-prover-examples

This is stars and forks stats for /Zellic/move-prover-examples repository. As of 29 Apr, 2024 this repository has 35 stars and 4 forks.

Move Prover Examples An example-based guide to getting started with the Move prover. Introduction Step 0: Installation Step 1: First specification Step 2: Aborts Step 3: Preconditions Step 4: Helper functions Step 5: State Step 6: Operators and Quantifiers Step 7: Invariants Step 8: Invariants, part two Conclusion Introduction The Move Prover is a tool for formally verifying the correctness of smart contracts written in Move. It is designed to be fast and practical—something that can really be used...