Move Prover

github.comsite

Formal verification of user-defined specifications written in Move source code. Maintained by the Move core team.

from

Move

added

2026-10-10

likes

0

similar

1. ▲
   Fast and Reliable Formal Verification of Smart Contracts with the Move Prover arxiv.org

   site category #move link ↗
   
2. ▲
   The Move Prover research.facebook.com

   site category #move link ↗
   
3. ▲
   aoc-move github.com

   tool category #move link ↗

   Advent of Code solutions in Move with some formal verification.

   
4. ▲
   Move-on-EVM github.com

   site category #move link ↗

   Experimental project to compile Move source code to EVM bytecode.

5. ▲
   Implementing, testing, and verifying a fungible token github.com

   site category #move link ↗

   Maintained by the Move core team.

6. ▲
   Movey movey.net

   site category #move link ↗

   A crates.io-style repository of Move packages.

   

Move › Tools: “Formal verification of user-defined specifications written in Move source code. Maintained by the Move core team.”