Skip to content
🎉 Welcome to the new Aptos Docs! Click here to submit feedback!
BuildSmart Contracts (Move)Move ProverMove Prover Supporting Resources

Move Prover Supporting Resources

Standard Library and Framework Specifications

Examples

Tutorials

Presentations

Conference papers