The Move Borrow Checker

arxiv.orgsite

from

Move

added

2026-10-10

likes

0

similar

1. ▲
   Robust Safety for Move arxiv.org

   site category #move link ↗
   
2. ▲
   Fast and Reliable Formal Verification of Smart Contracts with the Move Prover arxiv.org

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

   site category #move link ↗
   
4. ▲
   Verification of Programs Written in Libra's Move Language ethz.ch

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

   tool category #move link ↗

   Advent of Code solutions in Move with some formal verification.

   
6. ▲
   Move nursery github.com

   site category #move link ↗

   Experimental modules that may eventually be promoted into the standard library. From the Move repo.