Completed Certora Projects
This repository contains links to our completed full-service customer projects.
The all/ directory contrains submodules for the public projects. Use git submodule update --init to clone all of the linked repositories
The remaining directories group the projects by topic:
governance/contains projects related to governance