Specification By Example
The following resources are available for learning CVL from examples:
Tutorial and Workshops lists workshops and tutorials that cover basic Prover usage
The Examples Repository contains examples and links to real projects
The old documentation introduces Prover features by walking through some examples in CVL1.