Examples An index repository with submodules for different examples of Certora projects. Note - FullProjects directory still contains CVL1 specs.