/move-prover-examples

A gentle, example-based guide to getting started with the Move prover.

Primary LanguageMove

Watchers