An index repository with submodules for different examples of Certora projects - View it on GitHub